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

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

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

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 the refereed proceedings of the 20th International Symposium on Formal Meth...

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

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

This book constitutes the refereed proceedings of the 18th International Conference on Software E...

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

This Festschrift volume has been published to celebrate the lifelong scientific achievements of F...

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