top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Verification, Model Checking, and Abstract Interpretation
ID:
4528373
Creatori:
(339591) Chen
...
(1888759) Chʿen, Yu-fang
...
Persona
Opera