
Verification, Model Checking, and Abstract Interpretation
- Undertitel
- 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
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2026-01-13
- Sidor
- 410
