top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
A methodology for evaluating artifacts produced by a formal verification process
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
A methodology for evaluating artifacts produced by a formal verification process
ID:
3481898
Creatori:
(1405428) Siminiceanu Radu I
...
(1405429) Miner Paul S. 1962-
...
(1405430) Person, Suzette
...