%0 Conference Paper %1 conf/tacs/Hagiya91 %A Hagiya, Masami %B TACS %D 1991 %E Ito, Takayasu %E Meyer, Albert R. %I Springer %K dblp %P 387-419 %T From Programming-by-Example to Proving-by-Example. %U http://dblp.uni-trier.de/db/conf/tacs/tacs91.html#Hagiya91 %V 526 %@ 3-540-54415-1

@inproceedings{conf/tacs/Hagiya91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Hagiya, Masami}, biburl = {https://www.bibsonomy.org/bibtex/29cffaf799e5c00023ec651efc7e8e663/dblp}, booktitle = {TACS}, crossref = {conf/tacs/1991}, editor = {Ito, Takayasu and Meyer, Albert R.}, ee = {https://doi.org/10.1007/3-540-54415-1_56}, interhash = {287270a64756d315a5dad431a845028e}, intrahash = {9cffaf799e5c00023ec651efc7e8e663}, isbn = {3-540-54415-1}, keywords = {dblp}, pages = {387-419}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:18.000+0200}, title = {From Programming-by-Example to Proving-by-Example.}, url = {http://dblp.uni-trier.de/db/conf/tacs/tacs91.html#Hagiya91}, volume = 526, year = 1991 }