Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is E and Author is Jan Kofron  [Clear All Filters]
Journal Article
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)