Back to Search Start Over

The Programming and Proof System ATES

Authors :
G. Gribomont
A. Remouchamps
J. Raguideau
A. Pucetti
Eric ten Cate
D. Brocard
O. Pirotte
P.K.H. Gragert
Source :
The Programming and Proof System ATES
Publication Year :
1991
Publisher :
Springer Berlin Heidelberg, 1991.

Subjects

Subjects :
Computer science

Details

Database :
OpenAIRE
Journal :
The Programming and Proof System ATES
Accession number :
edsair.doi...........a34391ad6e1ffe0736dde6ab5319c5d6
Full Text :
https://doi.org/10.1007/978-3-642-84542-0
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details