A Verification Condition Generator for FORTRAN (1981)

by R S Boyer, J S Moore
Venue:in The Correctness Problem in Computer Science