APA (7th ed.) Citation

Britton, D. E. (1981). Incremental synthesis of inductive assertions for program verification. Univ. Microfilms Internat.

Chicago Style (17th ed.) Citation

Britton, Dianne E. Incremental Synthesis of Inductive Assertions for Program Verification. Ann Arbor, Mich. (u.a.): Univ. Microfilms Internat, 1981.

MLA (9th ed.) Citation

Britton, Dianne E. Incremental Synthesis of Inductive Assertions for Program Verification. Univ. Microfilms Internat, 1981.