Zoeken

U zocht naar: Auteur Hartmanns, Arnd Filter Auteur: Hartmanns, Arnd weghalen Type e-book Filter Type: e-book 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