%0 Conference Paper %1 conf/sigsoft/DarimontL96 %A Darimont, Robert %A van Lamsweerde, Axel %B SIGSOFT FSE %D 1996 %E Garlan, David %I ACM %K dblp %P 179-190 %T Formal Refinement Patterns for Goal-Driven Requirements Elaboration. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse96.html#DarimontL96 %@ 978-0-89791-797-1

@inproceedings{conf/sigsoft/DarimontL96, added-at = {2021-07-27T00:00:00.000+0200}, author = {Darimont, Robert and van Lamsweerde, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2a0d014f497d8b6fce57019c8b476043d/dblp}, booktitle = {SIGSOFT FSE}, crossref = {conf/sigsoft/1996}, editor = {Garlan, David}, ee = {https://doi.org/10.1145/250707.239131}, interhash = {5e387814707419cd9a1a14e9b2427830}, intrahash = {a0d014f497d8b6fce57019c8b476043d}, isbn = {978-0-89791-797-1}, keywords = {dblp}, pages = {179-190}, publisher = {ACM}, timestamp = {2024-04-09T17:52:50.000+0200}, title = {Formal Refinement Patterns for Goal-Driven Requirements Elaboration.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse96.html#DarimontL96}, year = 1996 }