Integrating Semi-formal and Formal Requirements.

Roel J. Wieringa, Eric Dubois, Sander Huyts

Browse the full CaiSE paper archive.