Personensuche
X
?
The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science ,
1
When COSTA Met KeY: Verified Cost Bounds:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
Lower-Bound Synthesis Using Loop Specialization and Max-SMT:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
3
Certified Abstract Cost Analysis:
, In:
?
2024 IEEE 37th International Symposium on Computer-Based Medical Systems (CBMS) ,
5