Software Quality Improvement: Two Approaches to the Application of Formal Methods
doi 10.1007/978-0-387-34869-8_27
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1996
Authors
Publisher
Springer US
Available in full text
January 1, 1996
Springer US