Formalizing Informal Reuqirments. Some Aspects

• Authors:

• N. W. P. van Diepen;Helmuth Partsch

• Affiliations:

• -;-

• Venue:
• Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]
• Year:
• 1989