Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Sery, O. and First Letter Of Title is E  [Clear All Filters]
2013
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)