Dianne Ellen Britton

Incremental synthesis of inductive assertions for program verification.

Dianne Ellen Britton, 1977 .

Heap storage management for the programming language Pascal

Dianne Ellen Britton, D. E. Britton, 1975 .