author- Proceedings of the 9th international workshop on Software specification and design, Washington, DC, USA, IEEE Computer Society, (1998)
- Software Engineering, IEEE Transactions on 24(11):908--926 (November 1998)
- IEEE Trans. Software Eng. 14(6):720-741 (1988)
- IEEE Trans. Software Eng. 26(10):978-1005 (2000)
- Sci. Comput. Program. 20(1-2):3-50 (1993)
- Inf. Process. Lett. 1(5):181-186 (1972)
- RISSEF, volume 2941 of Lecture Notes in Computer Science, page 325-340. Springer, (2002)
- SFM, volume 2804 of Lecture Notes in Computer Science, page 25-43. Springer, (2003)
- Ada-Europe, volume 2043 of Lecture Notes in Computer Science, page 1-20. Springer, (2001)
- Autom. Softw. Eng. 4(4):419-438 (1997)
- Formal Asp. Comput. 23(3):239-242 (2011)
- Sci. Comput. Program. 76(8):627-630 (2011)
- Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, page 238--249. New York, NY, USA, ACM, (2008)
- Wiley, (2009)
- Acta Inf. (1979)
- Proceedings of the 5th IEEE International Symposium on Requirements Engineering, 249, page 263. Toronto, Canada, (2001)
- ASE, page 365-366. ACM, (2010)
- EICS, page 211-212. ACM, (2010)
- RE, page 368-369. IEEE Computer Society, (2009)
- Proceedings of the 5th IEEE International Symposium on Requirements Engineering, 249, page 263. Toronto, Canada, (2001)
