Formalizing informal requirements some-aspects

• Authors:

• N. W. P. van Diepen;H. A. Partsch

• Affiliations:

• -;-

• Venue:
• Algebraic methods II
• Year:
• 1991