The Programming and proof systems ATES [electronic resource] : advanced techniques integration into efficient scientific software / Armand Puccetti (ed.) ; with contributions by D. Brocard [and others]

This book presents the main results of Project 1158 "ATES" in the Subprogramme "Software Technology" of ESPRIT, the European Strategic Programme for Research and Development in Information Technology supported by the European Communities. The ATES system integrates formal proof t...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Puccetti, A. (Armand), 1961-, Brocard, D.
Format:	Electronic eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1991.
Series:	Research reports ESPRIT. ATES ; vol. 1.
Subjects:	Computer programming. Automatic theorem proving. Computer software > Development.