Talks and Poster Presentations (without Proceedings-Entry):
E. Bartocci, L. Kovacs, E. Bura:
"ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs";
Talk: Vienna Science, Research and Technology Fund - ProbInG,
online;
2020-12-14
- 2020-12-15.