Joyce, J. J. (1989). Totally verified systems, linking verified software to verified hardware.
Chicago-Zitierstil (17. Ausg.)Joyce, Jeffrey J. Totally Verified Systems, Linking Verified Software to Verified Hardware. Cambridge, 1989.
MLA-Zitierstil (9. Ausg.)Joyce, Jeffrey J. Totally Verified Systems, Linking Verified Software to Verified Hardware. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.