Rendezvous with ADA - a Proof Theoretical View
Publication date
1982
Authors
Pnueli, A.
de Roever, W-P
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Pnueli, A & de Roever, W-P 1982, Rendezvous with ADA - a Proof Theoretical View. vol. 82-12, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-82-12.html >