Lightweight formal methods (1996)

by D Jackson, J Wing
Venue:IEEE Computer