Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Type:

e-book

Titel:

Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Auteur:

Dragoi, Cezara.; Emmi, Michael; Wang, Jingbo

Taal:

Engels

Uitgever:

Cham Springer 2023

ISBN:

3-031-24949-6
3-031-24950-X

Permalink:

http://bibtest.howest.be/catalog/ebk03:26020948000041