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

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

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...

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

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

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 volume contains the papers selected for presentation at the fifth European Symposium on Prog...

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