Cleanroom and Z

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 281-293
https://doi.org/10.1007/978-1-4471-3556-2_18

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Programming pearls
Communications of the ACM, 1986