There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 11

Record: found
Abstract: not found
Article: not found

A theoretical basis for stepwise refinement and the programming calculus

Joseph M. Morris (1987)

0 comments Cited 43 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

A calculus of refinements for program derivations

R. J. R. Back (1988)

0 comments Cited 36 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

OOZE: An Object Oriented Z Environment

Antonio J. Alencar, Joseph Goguen (1991)

0 comments Cited 6 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Pages: 78-97

DOI: 10.1007/BFb0053031

SO-VID: 7d1a08bb-83ae-4c32-bb35-e1bb82d442fa

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

A logic of object-oriented programs
Authors: Martín Abadi, K. Rustan M. Leino
A Logic of Object-Oriented Programs
Authors: Martín Abadi, K. Rustan M. Leino
Select Z Bibliography
Authors: Jonathan Bowen

See all cited by

Reasoning and refinement in object-oriented specification languages

Read this book at

Related collections

African Languages

Most cited references 11

A theoretical basis for stepwise refinement and the programming calculus

A calculus of refinements for program derivations

OOZE: An Object Oriented Z Environment

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,606

Cited by 3