Zoeken

U zocht naar: Auteur Wu, Zhilin Filter Auteur: Wu, Zhilin 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