Back to Search Start Over

The programming and proof system AIES

Authors :
Pucetti, A.
Brocard, D.
Gragert, P.K.H.
Gribomont, G.
Pirotte, O.
Raguideau, J.
Remouchamps, A.
ten Cate, Eric
Source :
Unknown
Publication Year :
1991
Publisher :
Springer, 1991.

Subjects

Subjects :
METIS-141064

Details

Database :
OpenAIRE
Journal :
Unknown
Accession number :
edsair.narcis........cb3294962d459dd1e2fd928d9639cc33

Tools

Authors Abstract Subjects Details