Author

Arnd Hartmanns

2 books found

Cover of Model Checking Software

Model Checking Software

Vincenzo Ciancia, Arnd Hartmanns · First published 2026

Cover of TOOLympics Challenge 2023

TOOLympics Challenge 2023

Dirk Beyer, Arnd Hartmanns, Fabrice Kordon · First published 2024