Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Antti Hyvärinen
conf.researchr.org general profile
ETAPS 2019 profile
SPLASH 2020 profile
Not registered as user
Name:
Antti Hyvärinen
Contributions
2020
Static Analysis Symposium
Author of Farkas-Based Tree Interpolation within the SAS-track
2019
ETAPS
Author of Decomposing Farkas Interpolants within the Posters-track
HCVS
Author of Decomposing Farkas Interpolants within the HCVS-track
TACAS
Author of Decomposing Farkas Interpolants within the TACAS 2019-track
Share
x
Thu 19 Dec 01:27