ETAPS 2019 (series) / Martin Blicha
Registered user since Wed 27 Feb 2019
Name: Martin Blicha
Affiliation: USI Lugano, Switzerland
Contributions
HCVS 2019 | Decomposing Farkas Interpolants | ||||||||||||||||||||||||||||||||||||||||
TACAS 2019 | Decomposing Farkas Interpolants | ||||||||||||||||||||||||||||||||||||||||
ETAPS 2019 | Decomposing Farkas Interpolants | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile