![](/img/cover-not-exists.png)
[ACM Press the conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the conference on The future of Software engineering - ICSE '00 - Formal specification
Lamsweerde, Axel vanYear:
2000
Language:
english
DOI:
10.1145/336512.336546
File:
PDF, 1.24 MB
english, 2000