A speci er's introduction to formal methods (1990)

by J M Wing
Venue:IEEE Computer