Demonstrating the Compliance of Ada Programs with Z Specifications

Publisher Website

1 January 1992

book chapter
Published by Springer Nature

p. 70-87
https://doi.org/10.1007/978-1-4471-3550-0_5

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

A calculus of refinements for program derivations
Acta Informatica, 1988
The specification statement
ACM Transactions on Programming Languages and Systems, 1988
Literate Programming
The Computer Journal, 1984