Heike Wehrheim

Livres
Theoretical Aspects of Computing – ICTAC 2025 Theoretical Aspects of Computing – ICTAC 2025
Theoretical Aspects of Computing – ICTAC 2025
2025
Tests and Proofs Tests and Proofs
Tests and Proofs
2020
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009