Yeast: A Case Study for a Practical Use of Formal Methods

• Authors:

• Paola Inverardi;Balachander Krishnamurthy;Daniel Yankelevich

• Affiliations:

• -;-;-

• Venue:
• TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
• Year:
• 1993