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