The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society s...

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in t...

Theories, Implementations, and Transformations.- Incremental Proof of the Producer Consumer Prope...

Alloy: A Logical Modelling Language.- An Outline Pattern Language for Z: Five Illustrations and T...

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying The...

This book constitutes the refereed proceedings of the First International Conference of B and Z U...

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 32...

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held ...

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, Z...

This volume contains a record of some of the lectures and seminars delivered at the Second Intern...

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyo...