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

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

This book presents thoroughly revised tutorial papers based on lectures given by leading research...

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

This volume contains the lecture notes of the five coursesand one seminar given at the School...

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

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

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

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

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

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