Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 ECSC - EEC - EAEC, Brussels - Luxembourg
About this chapter
Cite this chapter
Puccetti, A. (1991). Conclusion. In: Puccetti, A. (eds) The Programming and Proof System ATES. Research Reports ESPRIT, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84542-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-84542-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54188-2
Online ISBN: 978-3-642-84542-0
eBook Packages: Springer Book Archive