An example of hierarchical design and proof
Spitzen, Jay M., Levitt, Karl N., Robinson, LawrenceVolume:
21
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/359657.359667
Date:
December, 1978
File:
PDF, 7.45 MB
english, 1978