Formal Specification Techniques for Object-Oriented Programs

Publisher Website

1 January 1997

book chapter
Published by Springer Nature

p. 602-611
https://doi.org/10.1007/978-3-642-60831-5_80

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Konstruktion robuster und flexibler Klassenbibliotheken
Informatik - Forschung und Entwicklung, 1996
Larch: Languages and Tools for Formal Specification
Published by Springer Nature ,1993
Upgrading the pre- and postcondition technique
Published by Springer Nature ,1991
A calculus of refinements for program derivations
Acta Informatica, 1988
An axiomatic basis for computer programming
Communications of the ACM, 1969