Program Logic Based Software Plagiarism Detection | IEEE Conference Publication | IEEE Xplore