Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 2004 proceedings

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Verification, Model Checking, and Abstract Interpretation
ID: 1027036

Creatori:

(597693) International Conference, VMCAI 2004 <5. ; 2004 ; Venice>

Espandi persona

...