Volker Stolz

Books
Runtime Verification Runtime Verification
Runtime Verification
2022
Theoretical Aspects of Computing – ICTAC 2020 Theoretical Aspects of Computing – ICTAC 2020
Theoretical Aspects of Computing – ICTAC 2020
2020
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2020
Advances in Service-Oriented and Cloud Computing Advances in Service-Oriented and Cloud Computing
Advances in Service-Oriented and Cloud Computing
2018