From Programs to Z Specifications

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 46-70
https://doi.org/10.1007/978-1-4471-3877-8_4

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

The date refinement calculator for Z specifications
Information Processing Letters, 1988
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems, 1985
The Science of Programming
Published by Springer Nature ,1981