Proceedings of FOSSACS 2001
Honsell, F
•
Miculan, Marino
2001
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Archivio
Diritti
metadata only access