Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andreas Humenberger
conf.researchr.org general profile
POPL 2018 profile
POPL 2021 profile
Not registered as user
Name:
Andreas Humenberger
Affiliation:
Vienna University of Technology
Contributions
2021
VMCAI
Author of Algebra-based Synthesis of Loops and their Invariants within the VMCAI-track
2018
VMCAI
Author of Invariant Generation for Multi-Path Loops with Polynomial Assignments within the VMCAI 2018-track
Share
x
Wed 11 Jun 20:58
