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

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

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

A Step Towards Verified Software Worries about the reliability of software are as old as software...

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian S...

This volume contains the proceedings of the 2003 International Conference on Formal Engineering M...

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software En...

This volume contains the proceedings of the second working conference on Verified Software: Theor...

This book constitutes the proceedings of the 7th International Symposium on Dependable Software E...

The topics covered in this book range from modeling and programming languages and environments, v...

The topics covered in this book range from modeling and programming languages and environments, v...