Joyce, J. J. (1988). Formal specification and verification of asynchronous processes in higher-order logic.
Chicago-Zitierstil (17. Ausg.)Joyce, Jeffrey J. Formal Specification and Verification of Asynchronous Processes in Higher-order Logic. Cambridge, 1988.
MLA-Zitierstil (9. Ausg.)Joyce, Jeffrey J. Formal Specification and Verification of Asynchronous Processes in Higher-order Logic. 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.