Understanding Programs through Formal Methods (1991)

by P T Breuer, K Lano
Venue:Oxford University, Programming Research Group