(2013). Formal methods for industrial critical systems: A survey of applications. Wiley.
Chicago-Zitierstil (17. Ausg.)Formal Methods for Industrial Critical Systems: A Survey of Applications. Hoboken, NJ: Wiley, 2013.
MLA-Zitierstil (9. Ausg.)Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley, 2013.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.