
Verification, Model Checking, and Abstract Interpretation
- Undertittel
- 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
- Redaktør
- Yu-Fang Chen, Thomas Jensen, Ondrej Lengál
- ISBN
- 9783032156990
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 13.1.2026
- Antall sider
- 410
