Formal specification: a roadmap

Axel van Lamsweerde. Formal specification: a roadmap. In ICSE. pages 147-159, 2000. [doi]

No reviews for this publication, yet.