(1994). Industrial benefit of formal methods: Proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Industrial Benefit of Formal Methods: Proceedings. Berlin u.a: Springer, 1994.
MLA-Zitierstil (9. Ausg.)Industrial Benefit of Formal Methods: Proceedings. Springer, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.