Programming from Speci cations (1990)

by C C Morgan
Venue:Department of Mathematical Sciences Abo Akademi University Department of Computer Science Institute for