Data reification and program decomposition
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)
- 135 Downloads
KeywordsProof Obligation Concrete State Original Specification Abstract Specification Proof Rule
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1987