The KIV Approach to Software Verification (1995)

by W Reif
Venue:In KORSO: Methods, Languages, and Tools for the Construction of Correct Software