Search

You searched for: Auteur Hartmanns, Arnd Remove constraint Auteur: Hartmanns, Arnd
1 entry found
Number of results to display per page

Search Results

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