Proof Obligation Generation and Discharging for Recursive Definitions in VDM.

Augusto Ribeiro, Peter Gorm Larsen

Browse the full ICFEM paper archive.