An Approach to Validating Translation Correctness From SAM to Java.

Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He

Browse the full SEKE paper archive.