Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: program verification
RP654
1993 Research Paper
Basin,D
;
Bundy,A
; Kraan,I; Matthews,S
A Framework for Program Development Based on Schematic Proof