Exception Handling: Formal Specification and Systematic Program Construction Extended Abstract

Publisher Website

1 January 1984

book chapter
Published by Springer Nature

p. 251-261
https://doi.org/10.1007/978-3-642-46490-4_22

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Some notes on putting formal specifications to productive use
Science of Computer Programming, 1982
Partial abstract types
Acta Informatica, 1982