Zoeken

U zocht naar: Auteur Cezara Drăgoi Filter Auteur: Cezara Drăgoi weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Static Analysis
thumbnail
Full text!
Auteur:
Cezara Drăgoi; Mukherjee, Suvam; Namjoshi, Kedar
Uitgever:
Springer International Publishing 2021
Type:
e-book
2. Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
thumbnail
Full text!
Auteur:
Dragoi, Cezara.; Emmi, Michael; Wang, Jingbo
Uitgever:
Cham Springer 2023
Type:
e-book