Executing Formal Specifications Need Not Be Harmful
Software Engineering Journal
doi 10.1049/sej.1996.0014
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1996
Authors
Publisher
Institution of Engineering and Technology (IET)
Available in full text
January 1, 1996
Institution of Engineering and Technology (IET)