Zoeken

U zocht naar: Auteur Holík, Lukás Filter Auteur: Holík, Lukás weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
thumbnail
Full text!
Auteur:
Bouajjani, Ahmed.; Holík, Lukás; Wu, Zhilin
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book