SAFE: A Programming Language for Software Quality
IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-34848-3_35
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1995
Authors
Publisher
Springer US