Zoeken

U zocht naar: Auteur Hartmanns, Arnd Filter Auteur: Hartmanns, Arnd weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions
thumbnail
Full text!
Auteur:
Beyer, Dirk.; Hartmanns, Arnd; Kordon, Fabrice
Uitgever:
Cham Springer 2024
Type:
e-book