Personensuche
X
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8
Reflections on Termination of Linear Loops:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
9
Termination analysis without the tears:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
10
Algebraic Program Analysis:
, In:
?
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ,
11
Templates and recurrences: better together:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12