Eschbach, R. (2005). Formal specification and verification: Structures and techniques (Als Ms. gedr.). Fachbereich Informatik, Univ.
Chicago-Zitierstil (17. Ausg.)Eschbach, Robert. Formal Specification and Verification: Structures and Techniques. Als Ms. gedr. Kaiserslautern: Fachbereich Informatik, Univ, 2005.
MLA-Zitierstil (9. Ausg.)Eschbach, Robert. Formal Specification and Verification: Structures and Techniques. Als Ms. gedr. Fachbereich Informatik, Univ, 2005.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.