VERkshop. (1985). Proceedings of VERkshop: A Formal Verification Workshop. Assoc. for Computing Machinery.
Chicago-Zitierstil (17. Ausg.)VERkshop. Proceedings of VERkshop: A Formal Verification Workshop. New York, NY: Assoc. for Computing Machinery, 1985.
MLA-Zitierstil (9. Ausg.)VERkshop. Proceedings of VERkshop: A Formal Verification Workshop. Assoc. for Computing Machinery, 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.