Robert B. France, Maria M. Larrondo-Petrie. Understanding the Role of Formal Specification Techniques in Requirements Engineering. In Rosalind L. Ibrahim, editor, Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings. Volume 895 of Lecture Notes in Computer Science, pages 207-221, Springer, 1995.
Abstract is missing.