How to Transform an Analyzer into a Verifier
COMINI, Marco
•
GORI Roberta
•
LEVI Giorgio
2001
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Archivio
Diritti
metadata only access