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...

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...

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...

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

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

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

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