Program development through proof transformation (1990)

by Frank Pfenning
Venue:CONTEMPORARY MATHEMATICS
Citations:4 - 1 self