%0 Conference Paper %1 darimont_96_formala %A Darimont, Robert %A Axel, %B SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering %C New York, NY, USA %D 1996 %I ACM Press %K 1996 refinement %N 6 %P 179--190 %R 10.1145/239098.239131 %T Formal refinement patterns for goal-driven requirements elaboration %U http://dx.doi.org/10.1145/239098.239131 %V 21

@inproceedings{darimont_96_formala, added-at = {2009-02-11T22:24:13.000+0100}, address = {New York, NY, USA}, author = {Darimont, Robert and Axel}, biburl = {https://www.bibsonomy.org/bibtex/2a106bf980d2424313153ad39aca1ec6a/leonardo}, booktitle = {SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering}, citeulike-article-id = {221356}, doi = {10.1145/239098.239131}, interhash = {cc9dcea58dda629cb80532c83b7b6895}, intrahash = {a106bf980d2424313153ad39aca1ec6a}, issn = {0163-5948}, keywords = {1996 refinement}, month = {November}, number = 6, pages = {179--190}, posted-at = {2008-06-30 01:47:27}, priority = {2}, publisher = {ACM Press}, timestamp = {2009-02-11T22:24:13.000+0100}, title = {Formal refinement patterns for goal-driven requirements elaboration}, url = {http://dx.doi.org/10.1145/239098.239131}, volume = 21, year = 1996 }