Formal Methods for Requirements Engineering

• Authors:

• Aditya Ghose

• Affiliations:

• -

• Venue:
• MSE '00 Proceedings of the 2000 International Conference on Microelectronic Systems Education
• Year:
• 2000