This book constitutes the refereed proceedings of the 6th International Conference on Runtime Ver...

This book constitutes the refereed proceedings of the 20th International Symposium on Model Check...

This book constitutes the refereed proceedings of the 14th International Conference on Computatio...

The idea of this volume originated from the need to have a book for students to support their tra...

This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on...

This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...