Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He. An Approach to Validating Translation Correctness From SAM to Java. In Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2007), Boston, Massachusetts, USA, July 9-11, 2007. pages 45, Knowledge Systems Institute Graduate School, 2007.
Abstract is missing.