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]
@inproceedings{NascimentoPBCM10, title = {Program Equivalence Using Neural Networks}, author = {Tiago M. Nascimento and Charles B. Prado and Davidson R. Boccardo and Luiz F. R. C. Carmo and Raphael C. S. Machado}, year = {2010}, doi = {10.1007/978-3-642-32615-8_63}, url = {http://dx.doi.org/10.1007/978-3-642-32615-8_63}, researchr = {https://researchr.org/publication/NascimentoPBCM10}, cites = {0}, citedby = {0}, pages = {637-650}, booktitle = {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}, editor = {Junichi Suzuki and Tadashi Nakano}, volume = {87}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, publisher = {Springer}, isbn = {978-3-642-32614-1}, }