%0 Conference Paper %1 conf/icse/Lamsweerde00a %A van Lamsweerde, Axel %B ICSE - Future of SE Track %D 2000 %E Finkelstein, Anthony %I ACM %K dblp %P 147-159 %T Formal specification: a roadmap. %U http://dblp.uni-trier.de/db/conf/icse/future2000.html#Lamsweerde00a %@ 1-58113-253-0

@inproceedings{conf/icse/Lamsweerde00a, added-at = {2018-11-14T00:00:00.000+0100}, author = {van Lamsweerde, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2ae28af1f28472b8dfcbc317d019c4d25/dblp}, booktitle = {ICSE - Future of SE Track}, crossref = {conf/icse/2000future}, editor = {Finkelstein, Anthony}, ee = {https://www.wikidata.org/entity/Q29306017}, interhash = {049f214610ed998ca43f6a60f440b2c9}, intrahash = {ae28af1f28472b8dfcbc317d019c4d25}, isbn = {1-58113-253-0}, keywords = {dblp}, pages = {147-159}, publisher = {ACM}, timestamp = {2018-11-15T16:44:30.000+0100}, title = {Formal specification: a roadmap.}, url = {http://dblp.uni-trier.de/db/conf/icse/future2000.html#Lamsweerde00a}, year = 2000 }