Axel van Lamsweerde. Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, page 238--249. New York, NY, USA, ACM, (2008)
Axel van Lamsweerde. Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, page 238--249. New York, NY, USA, ACM, (2008)