This book constitutes the revised selected papers of the 10th International Symposium on Formal A...

Keynote Talks.- Program Verification Through Computer Algebra.- JML's Rich, Inherited Specificati...

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical...

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretica...

This book constitutes the refereed proceedings of six workshops of the 14th International Confere...

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September...

Invited Speakers.- Software Services: Scientific Challenge or Industrial Hype?.- Integrating Vari...

Models and Software Model Checking of a Distributed File Replication System.- From 'Formal Method...

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

InhaltsangaberCOS: Defining Meanings of Component-Based Software Architectures.- Model-Based Veri...

This book constitutes the proceedings of the 7th International Symposium on Automated Technology ...

This book constitutes the refereed proceedings of the First International Symposium on Dependable...