%0 Conference Paper %1 conf/icse/AlrajehKLRU12 %A Alrajeh, Dalal %A Kramer, Jeff %A van Lamsweerde, Axel %A Russo, Alessandra %A Uchitel, Sebastián %B ICSE %D 2012 %E Glinz, Martin %E Murphy, Gail C. %E Pezzè, Mauro %I IEEE Computer Society %K %P 705-715 %T Generating obstacle conditions for requirements completeness. %U http://dblp.uni-trier.de/db/conf/icse/icse2012.html#AlrajehKLRU12 %@ 978-1-4673-1067-3

@inproceedings{conf/icse/AlrajehKLRU12, added-at = {2023-12-13T05:07:02.000+0100}, author = {Alrajeh, Dalal and Kramer, Jeff and van Lamsweerde, Axel and Russo, Alessandra and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/27575108d1c4018b8bdaa04c134418be6/admin}, booktitle = {ICSE}, crossref = {conf/icse/2012}, editor = {Glinz, Martin and Murphy, Gail C. and Pezzè, Mauro}, ee = {http://dl.acm.org/citation.cfm?id=2337306}, interhash = {9ea1048f19075908079793cdaa9dc865}, intrahash = {7575108d1c4018b8bdaa04c134418be6}, isbn = {978-1-4673-1067-3}, keywords = {}, pages = {705-715}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T05:07:02.000+0100}, title = {Generating obstacle conditions for requirements completeness.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2012.html#AlrajehKLRU12}, year = 2012 }