Publications

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is E and Author is Grigory Fedyukovich  [Clear All Filters]
Conference Paper
eVolCheck: Incremental Upgrade Checker for C, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2013)