Siirry suoraan sisältöön
Verification, Model Checking, and Abstract Interpretation
Tallenna

Verification, Model Checking, and Abstract Interpretation

Alaotsikko
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
ISBN
9783032156990
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
13.1.2026
Sivumäärä
410