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

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

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

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

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

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

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