Tools get formal methods into practice

• Authors:

• Bernhard Steffen;Tiziana Margaria

• Affiliations:

• Universität Passau, Fakultät für Mathematik und Informatik, Innstr. 33, D-94032 Passau, Germany;Universität Passau, Fakultät für Mathematik und Informatik, Innstr. 33, D-94032 Passau, Germany

• Venue:
• ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
• Year:
• 1996