María Virginia Mauco, Daniel Riesco. Integrating Requirements Engineering Techniques and Formal Methods. In Mehdi Khosrow-Pour, editor, Encyclopedia of Information Science and Technology (5 Volumes). pages 1555-1559, Idea Group, 2005.
Abstract is missing.