Axel van Lamsweerde. Formal specification: a roadmap. In ICSE. pages 147-159, 2000. [doi]
@inproceedings{Lamsweerde00a, title = {Formal specification: a roadmap}, author = {Axel van Lamsweerde}, year = {2000}, doi = {10.1145/336512.336546}, url = {http://doi.acm.org/10.1145/336512.336546}, researchr = {https://researchr.org/publication/Lamsweerde00a}, cites = {0}, citedby = {0}, pages = {147-159}, booktitle = {ICSE}, }