Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is T and Author is Grigory Fedyukovich  [Clear All Filters]
2017
Theory Re finement for Program Veri fication, Hyvärinen, Antti E. J., Asadi Sepideh, Even Mendoza Karine, Fedyukovich Grigory, Chockler Hana, and Sharygina Natasha , SAT 2017, Melbourne, Australia, (2017)
2014
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection, Fedyukovich, Grigory, and Sharygina Natasha , Brazilian Symposium on Formal Methods (SBMF), Maceio, Brazil., (2014)