This book presents 12 revised refereed papers selected as the best from 32 submissions for the Fi...

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability...

This book constitutes the refereed proceedings of the 16th International Conference on Verificati...

This volume contains the proceedings of a workshop on computer aided verification. Topics include...

This book constitutes the thoroughly refereed post-proceedings of the First International Worksho...

This book constitutes the refereed proceedings of the 12th International Conference on Concurrenc...

This book constitutes the proceedings of the Third International Symposium on Dependable Software...

This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical Uni...

This book constitutes the proceedings of the 24th International Conference on Formal Methods for ...

This open access two-volume set constitutes the proceedings of the 27th International Conference ...

This open access two-volume set constitutes the proceedings of the 27th International Conference ...