%0 Conference Paper %1 conf/icse/JacksonZ95 %A Jackson, Michael %A Zave, Pamela %B ICSE %D 1995 %E Perry, Dewayne E. %E Jeffery, Ross %E Notkin, David %I ACM %K dblp %P 15-24 %T Deriving Specifications from Requirements: An Example. %U http://dblp.uni-trier.de/db/conf/icse/icse95.html#JacksonZ95 %@ 0-89791-708-1

@inproceedings{conf/icse/JacksonZ95, added-at = {2019-06-02T00:00:00.000+0200}, author = {Jackson, Michael and Zave, Pamela}, biburl = {https://www.bibsonomy.org/bibtex/29c9798ff36fe8a929b64d8e61afaeb13/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1995}, editor = {Perry, Dewayne E. and Jeffery, Ross and Notkin, David}, ee = {https://www.wikidata.org/entity/Q60304491}, interhash = {8d7d216970c91e759c57c7efd109d7bf}, intrahash = {9c9798ff36fe8a929b64d8e61afaeb13}, isbn = {0-89791-708-1}, keywords = {dblp}, pages = {15-24}, publisher = {ACM}, timestamp = {2019-06-04T14:26:12.000+0200}, title = {Deriving Specifications from Requirements: An Example.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse95.html#JacksonZ95}, year = 1995 }