Hiding the Formalism in Formal Methods Lori A. Clarke Laboratory for Advanced Software Engineering Research (LASER) University of Massachusetts, Amherst.
Hiding the Formalism in Formal Methods
St mellons compact newsletter march 2013
Elvira