Fangfang Zhang, Dinghao Wu, Peng Liu 0005, Sencun Zhu. Program Logic Based Software Plagiarism Detection. In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. pages 66-77, IEEE, 2014. [doi]