Presenter

Full Program · · Organizations · Search Program · Flagged · Happening Now

Enyuan Tian

Institute of Software, Chinese Academy of Sciences

Presentations

Research Manuscript

Symbolic Quick Error Detection by Semantically Equivalent Program Execution