Bloem, R. (2010). Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. FMCAD Inc.
Chicago-Zitierstil (17. Ausg.)Bloem, Roderick. Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. Austin,Texas: FMCAD Inc, 2010.
MLA-Zitierstil (9. Ausg.)Bloem, Roderick. Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. FMCAD Inc, 2010.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.