Gå direkt till innehållet
Verification, Model Checking, and Abstract Interpretation
Spara

Verification, Model Checking, and Abstract Interpretation

Undertitel
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
ISBN
9783032156990
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2026-01-13
Sidor
410