Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Chen Yu-Fang
|
| Titolo: |
Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
|
| Pubblicazione: | Cham : , : Springer, , 2026 |
| ©2026 | |
| Edizione: | 1st ed. |
| Descrizione fisica: | 1 online resource (724 pages) |
| Altri autori: |
Chen
|
| Sommario/riassunto: | This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. |
| Titolo autorizzato: | Verification, Model Checking, and Abstract Interpretation |
| ISBN: | 9783032157003 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996699682603316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science Series