Incremental Formalization: A Key to Industrial Success

Bernhard Steffen, Tiziana Margaria, Andreas Cla├čen, Volker Braun. Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools, 17(2):78, 1996.

Abstract

Abstract is missing.