This book provides foundations for software specification and formal software development from th...

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gulla...

Methods for the algebraic specification of abstract data types were proposed in the early 1970s i...

This book provides foundations for software specification and formal software development from th...

This volume contains the papers selected for presentation at the fifth European Symposium on Prog...

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40t...

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40t...

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustwo...

Computation, itself a form of calculation, incorporates steps that include arithmetical and non-a...

The 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004) was held f...