1988
Program correctness over abstract data types, with error-state semantics
Publication
Publication
Additional Metadata | |
---|---|
CWI Monographs ; 6 | |
Tucker, J., & Zucker, J. I. (1988). Program correctness over abstract data types, with error-state semantics. CWI Monographs. |