Verification, Model Checking, and Abstract Interpretation
- Undertitel
- 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
- Redaktör
- Yu-Fang Chen, Jensen Thomas, Ondřej Lengál
- ISBN
- 9783032156990
- Språk
- engelska
- Vikt
- 281 gram
- Utgivningsdatum
- 2026-01-13
- Sidor
- 410









































