
Verification, Model Checking, and Abstract Interpretation
- Alaotsikko
- 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
- Toimittaja
- Yu-Fang Chen, Thomas Jensen, Ondrej Lengál
- ISBN
- 9783032156990
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.1.2026
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 410