(1996). An introduction to requirements capture using PVS: Specification of a simple autopilot / Ricky W. Butler.
Chicago-Zitierstil (17. Ausg.)An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot / Ricky W. Butler. 1996.
MLA-Zitierstil (9. Ausg.)An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot / Ricky W. Butler. 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.