Skip to main content

Stuck−Free Conformance

Cédric Fournet‚ C. A. R. Hoare‚ Sriram K. Rajamani and Jakob Rehof

Book Title
Computer Aided Verification‚ 16th International Conference‚ CAV 2004‚ Boston‚ MA‚ USA‚ July 13−17‚ 2004‚ Proceedings
Editor
Rajeev Alur and Doron Peled
Pages
242−254
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3114
Year
2004