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