On requirements verification for model refinements.

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini

Browse the full RE paper archive.