Program verification in a logical theory of constructions (1985)

by Peter Dybjer
Venue:University of Göteborg and Chalmers University of Technology