Axel van Lamsweerde. Building Formal Models for Software Requirements. In 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. pages 134, IEEE Computer Society, 2000. [doi]
@inproceedings{Lamsweerde00:0, title = {Building Formal Models for Software Requirements}, author = {Axel van Lamsweerde}, year = {2000}, url = {http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150134.pdf}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Lamsweerde00%3A0}, cites = {0}, citedby = {0}, pages = {134}, booktitle = {7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore}, publisher = {IEEE Computer Society}, isbn = {0-7695-0915-0}, }