Britton, D. E. (1977). Incremental synthesis of inductive assertions for program verification ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Britton, Dianne E. Incremental Synthesis of Inductive Assertions for Program Verification. [Mikrofiche-Ausg.]. 1977.
MLA-Zitierstil (9. Ausg.)Britton, Dianne E. Incremental Synthesis of Inductive Assertions for Program Verification. [Mikrofiche-Ausg.]. 1977.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.