Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Pavel Jančík and First Letter Of Title is E  [Clear All Filters]
2019
Exploiting partial variable assignment in interpolation-based model checking., Jančík, Pavel, Kofron Jan, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , Formal Methods in System Design, (2019)