You are here

Publications

Export 2 results:

BibTeX

Author Title [ Type

] Year

Filters: Author is Jan Kofron [Clear All Filters]

Conference Paper

PVAIR: Partial Variable Assignment InterpolatoR, Jančík, Pavel, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , FASE2016, (2016)

Decomposing Farkas Interpolants, Blicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , TACAS, (2019)