Understanding the Role of Formal Specification Techniques in Requirements Engineering

• Authors:

• Robert B. France;Maria M. Larrondo-Petrie

• Affiliations:

• -;-

• Venue:
• Proceedings of the 8th SEI CSEE Conference on Software Engineering Education
• Year:
• 1995