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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1991.
|
| Series: | Research reports ESPRIT. ATES ;
vol. 1. |
| Subjects: |
Search Result 1