General Correctness: A Unification of Partial and Total Correctness
Acta Informatica - Germany
doi 10.1007/bf00290146
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 1985
Authors
Publisher
Springer Science and Business Media LLC
Available in full text
April 1, 1985
Springer Science and Business Media LLC