Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Export / Download

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

Computer Aided Verification
ID: 3091311

Creatori:

(1351252) Lahiri Shuvendu K

Espandi persona

...