Integrated Specification and Quality Assurance for Large Business Information Systems
F. Salger, S. Sauer, G. Engels, in: Proceedings of the 2nd India Software Engineering Conference (ISEC’09), ACM Press, New York, NY, USA, 2009, pp. 129–130.