
Počet publikací: 1
Články ve sbornících
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, rok: 2025
Počet publikací: 1
Model Checking Software - 30th International Symposium, SPIN 2024, rok: 2025