A Refinement Case Study (using the Abstract Machine Notation)

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 51-96
https://doi.org/10.1007/978-1-4471-3756-6_4

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

A formal approach to large SOFTWARE CONSTRUCTION
Published by Springer Nature ,1989
The Science of Programming
Published by Springer Nature ,1981
A Technique of Algorithm Construction on Sequences
IEEE Transactions on Software Engineering, 1978
A technique for software module specification with examples
Communications of the ACM, 1972