1997
Report
Unknown
An overview of spin - Foils
Latella D.
Formal verification Foils Software/Program Verification
An abstract is not avaiable
Source: ISTI Technical reports, pp.1–61, 1997
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:410127,
title = {An overview of spin - Foils},
author = {Latella D.},
institution = {ISTI Technical reports, pp.1–61, 1997},
year = {1997}
}
0000-0002-3257-9059CNR ExploRA