Roel Wieringa, Eric Dubois, Sander Huyts. Integrating Semi-formal and Formal Requirements. In Antoni Olivé, Joan Antoni Pastor, editors, Advanced Information Systems Engineering, 9th International Conference CAiSE 97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings. Volume 1250 of Lecture Notes in Computer Science, pages 19-32, Springer, 1997.
Abstract is missing.