Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Hana Chockler and First Letter Of Title is T  [Clear All Filters]
2017
Theory Refinement for Program Verification, Hyvärinen, Antti E. J., Asadi Sepideh, Even Mendoza Karine, Fedyukovich Grigory, Chockler Hana, and Sharygina Natasha , SAT 2017, Melbourne, Australia, (2017)