Not registered as user yet

Name: Djordje Zikelic

Affiliation: University of Cambridge

POPL 2017 Activities

• Author of Stochastic Invariants for Probabilistic Termination within the POPL-track in POPL 2017
• Show activities from other conferences