On requirements verification for model refinements

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
January 2013
Type
Conference paper
Publication
2013 21st IEEE International Requirements Engineering Conference (RE)