Tool Support for Formal Software Development: A Generic Architecture

• Authors:

• Maritta Heisel;Thomas Santen;Dominik Zimmermann

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 5th European Software Engineering Conference
• Year:
• 1995