Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini. On requirements verification for model refinements. In 21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013. pages 62-71, IEEE, 2013. [doi]
@inproceedings{GhezziMSS13,
title = {On requirements verification for model refinements},
author = {Carlo Ghezzi and Claudio Menghi and Amir Molzam Sharifloo and Paola Spoletini},
year = {2013},
doi = {10.1109/RE.2013.6636706},
url = {http://doi.ieeecomputersociety.org/10.1109/RE.2013.6636706},
researchr = {https://researchr.org/publication/GhezziMSS13},
cites = {0},
citedby = {0},
pages = {62-71},
booktitle = {21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013},
publisher = {IEEE},
isbn = {978-1-4673-5765-4},
}