Personensuche
X
?
Formal Methods; Lecture Notes in Computer Science ,
3
On Lexicographic Proof Rules for Probabilistic Termination:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
4
Proving non-termination by program reversal:
, In:
?
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ,
5
Polynomial invariant generation for non-deterministic recur..:
, In:
?
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing ,
6