Formal specification: a roadmap. In: (2000)

by A van Lamsweerde
Venue:ICSE ’00: Proceedings of the Conference on The Future of Software Engineering,