Proving correctness of constructor implementations (1989)

by J Farres-Casals
Venue:University of Edinburgh