top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Automated Technology for Verification and Analysis
ID:
4316799
Creatori:
(1380659) Sankaranarayanan, Sriram
...
(1785198) Akshay S
...
(1785199) Niemetz Aina
...
Persona
Opera