Integrating Action Systems and Z in a Medical System Specification

• Authors:

• V. Kasurinen;Kaisa Sere

• Affiliations:

• -;-

• Venue:
• FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
• Year:
• 1996