Talks and Poster Presentations (without Proceedings-Entry):
A. Humenberger, M. Jaroschek, L. Kovacs:
"Polynomial Invariant Generation for Multi-Path Loops";
Talk: Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2),
Kaiserslautern, Germany;
2017-07-29.