Executing Formal Specifications Need Not Be Harmful

Software Engineering Journal
doi 10.1049/sej.1996.0014
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institution of Engineering and Technology (IET)