Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This is a systematic and comprehensive introduction both to compositional proof methods for the s...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which ...

Symposium S, 'Microelectromechanical Systems - Materials and Devices IV', focused on micro- and n...

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Meth...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TC...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...