Schwarz, Michael Benedikt
Thread-Modular Abstract Interpretation: The Local Perspective
2025
Dissertation
316 Seiten