Ten commandments of formal methods (1995)

by J P Bowen, M G Hinchey
Venue:IEEE Computer