Formal Methods: Theory Becoming Practice

Jean-Raymond Abrial. Formal Methods: Theory Becoming Practice. J. UCS, 13(5):619-628, 2007. [doi]

Abstract

Abstract is missing.