Not registered as user yet

Name: Maximilian Jaroschek

Affiliation: Vienna University of Technology

POPL 2018 Activities

• Author of Invariant Generation for Multi-Path Loops with Polynomial Assignments within the VMCAI 2018-track in VMCAI 2018
• Show activities from other conferences