The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System

• Authors:

• Felix Cornelius;Heinrich Hußmann;Michael Löwe

• Affiliations:

• -;-;-

• Venue:
• KORSO - Methods, Languages, and Tools for the Construction of Correct Software
• Year:
• 1995