bib.howest.be Zoekresultaten

U zocht naar: Auteur Emmi, Michael

1 Item gevonden

1. 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
Uitgever:: Cham Springer 2023
Type:: e-book