Not registered as user yet

Name:Djordje Zikelic
Affiliation:University of Cambridge

Contributions

POPL 2017 Author of Stochastic Invariants for Probabilistic Termination within the POPL-track