Gå direkte til innholdet
Verification, Model Checking, and Abstract Interpretation
Spar

Verification, Model Checking, and Abstract Interpretation

Undertittel
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
ISBN
9783032156990
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
13.1.2026
Antall sider
410