Author:Klaus von Gleissenthall

Publications
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) Klaus von Gleissenthall, Andrey Rybalchenko and Santiago Zanella-Béguelin In:VPT 2014. Second International Workshop on Verification and Program Transformation