The Programming and Proof Systems Ates
Subtitle: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,)
Contributors: Armand Puccetti (Editor); D. Brocard (Editor)
Publisher: Springer
Published: August 1991
Number of pages: 341
ISBN-13: 9780387541884