Number of items: 5.
Conference or Workshop Item (A Paper)
Eberlein, Martin and Smytzek, Marius and Steinhöfel, Dominic and Grunske, Lars and Zeller, Andreas
(2023)
Semantic Debugging.
(In Press)
Eberlein, Martin and Smytzek, Marius and Steinhöfel, Dominic and Grunske, Lars and Zeller, Andreas
(2023)
Semantic Debugging.
(In Press)
Steinhöfel, Dominic and Zeller, Andreas
(2022)
Input Invariants.
Scaletta, Marco and Hähnle, Reiner and Steinhöfel, Dominic and Bubel, Richard
(2021)
Delta-based Verification of Software Product Families.
Albert, Elvira and Hähnle, Reiner and Merayo, Alicia and Steinhöfel, Dominic
(2021)
Certified Abstract Cost Analysis.
This list was generated on Mon Sep 16 21:50:43 2024 CEST.