Tactical theorem proving in program verification (1990)

by M Heisel, W Reif, W Stephan
Venue:Cornell University. Department of Computer Science