Abstract Correction of First-Order Functional Programs
ALPUENTE M
•
ESCOBAR S
•
FALASCHI M
altro
BALLIS, Demis
2003
Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
DOI
Archivio
Diritti
metadata only access