Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Computer aided verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings Part I.

Export / Download

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

Computer aided verification
ID: 3358587

Creatori:

(1354848) שוהם-בוכבינדר, שרון

Espandi persona

...