Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anne Schreuder
conf.researchr.org general profile
ETAPS 2019 profile
Registered user since Tue 5 Mar 2019
Name:
Anne Schreuder
Country:
Germany
Affiliation:
Technischen Universität Kaiserslautern
Contributions
2019
QAPL
Author of Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence within the QAPL-track
Share
x
Thu 19 Dec 07:30