%0 Conference Paper %1 conf/re/GhezziMSS13 %A Ghezzi, Carlo %A Menghi, Claudio %A Sharifloo, Amir Molzam %A Spoletini, Paola %B RE %D 2013 %I IEEE Computer Society %K dblp %P 62-71 %T On requirements verification for model refinements. %U http://dblp.uni-trier.de/db/conf/re/re2013.html#GhezziMSS13 %@ 978-1-4673-5765-4

@inproceedings{conf/re/GhezziMSS13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ghezzi, Carlo and Menghi, Claudio and Sharifloo, Amir Molzam and Spoletini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2e32af920f1dcef8f6fb08607897940ac/dblp}, booktitle = {RE}, crossref = {conf/re/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/RE.2013.6636706}, interhash = {d492a9dc13cc4cd044a28bf6f85c0a07}, intrahash = {e32af920f1dcef8f6fb08607897940ac}, isbn = {978-1-4673-5765-4}, keywords = {dblp}, pages = {62-71}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:34:33.000+0200}, title = {On requirements verification for model refinements.}, url = {http://dblp.uni-trier.de/db/conf/re/re2013.html#GhezziMSS13}, year = 2013 }