MPG.eBooks - Search Results - "engineering"

Cover Image

1

Programming Concepts and Methods PROCOMET ’98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, Ne...

Published 1998

Springer US

Table of Contents: “... deduction style message derivation engine to verify security protocols -- 11 Programming language semantics...”