Automated Discovery of Simulation Between Programs
Additional information
Authors
Fedyukovich G.,
Sharygina N.,
Gurfinkel A.
Type
Technical report
Year
2013
Language
English
Report number
2013/05
