On requirements verification for model refinements

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]

Abstract

Abstract is missing.