Tiago M. Nascimento, Charles B. Prado, Davidson R. Boccardo, Luiz F. R. C. Carmo, Raphael C. S. Machado. Program Equivalence Using Neural Networks. In Junichi Suzuki, Tadashi Nakano, editors, Bio-Inspired Models of Network, Information, and Computing Systems - 5th International ICST Conference, BIONETICS 2010, Boston, MA, USA, December 1-3, 2010, Revised Selected Papers. Volume 87 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 637-650, Springer, 2010. [doi]
Abstract is missing.