@inproceedings{ conf/icfp/Moore02,
  added-at = {2012-03-28T00:00:00.000+0200},
  author = {Moore, J. Strother},
  biburl = {http://www.bibsonomy.org/bibtex/212a74d097ac7fdc8aa1d26d6a9417ef5/dblp},
  booktitle = {ICFP},
  crossref = {conf/icfp/2002},
  editor = {Wand, Mitchell and Jones, Simon L. Peyton},
  ee = {http://doi.acm.org/10.1145/581478.581490},
  interhash = {a532ae4c3bc8d617f2819eb2a33eec6f},
  intrahash = {12a74d097ac7fdc8aa1d26d6a9417ef5},
  isbn = {1-58113-487-8},
  keywords = {dblp},
  pages = {123},
  publisher = {ACM},
  title = {Functional formal methods.},
  url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2002.html#Moore02},
  year = {2002}
}

{"_id":"fYHfoHjRPg3AyGd3X","bibbaseid":"moore-strother-functionalformalmethods-2002","downloads":0,"creationDate":"2015-03-12T16:55:37.325Z","title":"Functional formal methods.","author_short":["Moore","Strother, J."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/moore?items=1000","bibdata":{"added-at":"2012-03-28T00:00:00.000+0200","author":["Moore","Strother, J."],"author_short":["Moore","Strother, J."],"bibtex":"@inproceedings{ conf/icfp/Moore02,\n added-at = {2012-03-28T00:00:00.000+0200},\n author = {Moore, J. Strother},\n biburl = {http://www.bibsonomy.org/bibtex/212a74d097ac7fdc8aa1d26d6a9417ef5/dblp},\n booktitle = {ICFP},\n crossref = {conf/icfp/2002},\n editor = {Wand, Mitchell and Jones, Simon L. Peyton},\n ee = {http://doi.acm.org/10.1145/581478.581490},\n interhash = {a532ae4c3bc8d617f2819eb2a33eec6f},\n intrahash = {12a74d097ac7fdc8aa1d26d6a9417ef5},\n isbn = {1-58113-487-8},\n keywords = {dblp},\n pages = {123},\n publisher = {ACM},\n title = {Functional formal methods.},\n url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2002.html#Moore02},\n year = {2002}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/212a74d097ac7fdc8aa1d26d6a9417ef5/dblp","booktitle":"ICFP","crossref":"conf/icfp/2002","editor":["Wand, Mitchell","Jones","Peyton, Simon L."],"editor_short":["Wand, M.","Jones","Peyton, S.<nbsp>L."],"ee":"http://doi.acm.org/10.1145/581478.581490","id":"conf/icfp/Moore02","interhash":"a532ae4c3bc8d617f2819eb2a33eec6f","intrahash":"12a74d097ac7fdc8aa1d26d6a9417ef5","isbn":"1-58113-487-8","key":"conf/icfp/Moore02","keywords":"dblp","pages":"123","publisher":"ACM","title":"Functional formal methods.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/icfp/icfp2002.html#Moore02","year":"2002","bibbaseid":"moore-strother-functionalformalmethods-2002","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/581478.581490","Paper":"http://dblp.uni-trier.de/db/conf/icfp/icfp2002.html#Moore02"},"keyword":["dblp"],"downloads":0},"search_terms":["functional","formal","methods","moore","strother"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CNaPQFuj8cuTCPAK7"]}