%0 Conference Paper %1 HamelSh07 %A Hamel, Lutz %A Shen, Chi %B Proceedings of the 2nd Workshop on Approaches and Applications of Inductive Programming (AAIP'07) %D 2007 %K algebraic_specification enumerative_ip ifp induction inductive_programming program_evolution program_synthesis %P 3--14 %T An Inductive Programming Approach to Algebraic Specification %U http://www.cogsys.wiai.uni-bamberg.de/aaip07/

@inproceedings{HamelSh07, added-at = {2008-12-08T15:48:50.000+0100}, author = {Hamel, Lutz and Shen, Chi}, biburl = {https://www.bibsonomy.org/bibtex/23ffc39523dcd6694e59e183110ad7e82/emanuel}, booktitle = {Proceedings of the 2nd Workshop on Approaches and Applications of Inductive Programming ({AAIP'07})}, interhash = {6e635f752099586deea201fa7c08db97}, intrahash = {3ffc39523dcd6694e59e183110ad7e82}, keywords = {algebraic_specification enumerative_ip ifp induction inductive_programming program_evolution program_synthesis}, pages = {3--14}, timestamp = {2008-12-08T15:48:50.000+0100}, title = {An Inductive Programming Approach to Algebraic Specification}, url = {http://www.cogsys.wiai.uni-bamberg.de/aaip07/}, year = 2007 }