Lightweight formal methods (2001)

by Daniel Jackson
Venue:In Proc. of the Int’l Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (FME