Part of the Research Reports ESPRIT book series (ESPRIT, volume 1)
As a conclusion to many pages of formal material, we should like to offer some personal comments on what has been achieved and what remains to be done.
KeywordsProof System Personal Comment Concurrent Program Software Maintenance Automatic Verification
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.
© ECSC - EEC - EAEC, Brussels - Luxembourg 1991