@article{ journals/dagstuhl-reports/BundyHJM12,
  added-at = {2013-02-13T00:00:00.000+0100},
  author = {Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J. Strother},
  biburl = {http://www.bibsonomy.org/bibtex/212663227ecfee12626bb566089119d52/dblp},
  ee = {http://dx.doi.org/10.4230/DagRep.2.7.1},
  interhash = {221c3a4dc86126a2f98e8f2f3bfa1c2d},
  intrahash = {12663227ecfee12626bb566089119d52},
  journal = {Dagstuhl Reports},
  keywords = {dblp},
  number = {7},
  pages = {1-29},
  title = {AI meets Formal Software Development (Dagstuhl Seminar 12271).},
  url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#BundyHJM12},
  volume = {2},
  year = {2012}
}

{"_id":"PnDNWQd57AsaEfcKH","bibbaseid":"bundy-hutter-jones-moore-strother-aimeetsformalsoftwaredevelopmentdagstuhlseminar12271-2012","downloads":0,"creationDate":"2015-03-12T16:55:35.521Z","title":"AI meets Formal Software Development (Dagstuhl Seminar 12271).","author_short":["Bundy, A.","Hutter, D.","Jones, C.<nbsp>B.","Moore","Strother, J."],"year":2012,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/moore?items=1000","bibdata":{"added-at":"2013-02-13T00:00:00.000+0100","author":["Bundy, Alan","Hutter, Dieter","Jones, Cliff B.","Moore","Strother, J."],"author_short":["Bundy, A.","Hutter, D.","Jones, C.<nbsp>B.","Moore","Strother, J."],"bibtex":"@article{ journals/dagstuhl-reports/BundyHJM12,\n added-at = {2013-02-13T00:00:00.000+0100},\n author = {Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J. Strother},\n biburl = {http://www.bibsonomy.org/bibtex/212663227ecfee12626bb566089119d52/dblp},\n ee = {http://dx.doi.org/10.4230/DagRep.2.7.1},\n interhash = {221c3a4dc86126a2f98e8f2f3bfa1c2d},\n intrahash = {12663227ecfee12626bb566089119d52},\n journal = {Dagstuhl Reports},\n keywords = {dblp},\n number = {7},\n pages = {1-29},\n title = {AI meets Formal Software Development (Dagstuhl Seminar 12271).},\n url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#BundyHJM12},\n volume = {2},\n year = {2012}\n}","bibtype":"article","biburl":"http://www.bibsonomy.org/bibtex/212663227ecfee12626bb566089119d52/dblp","ee":"http://dx.doi.org/10.4230/DagRep.2.7.1","id":"journals/dagstuhl-reports/BundyHJM12","interhash":"221c3a4dc86126a2f98e8f2f3bfa1c2d","intrahash":"12663227ecfee12626bb566089119d52","journal":"Dagstuhl Reports","key":"journals/dagstuhl-reports/BundyHJM12","keywords":"dblp","number":"7","pages":"1-29","title":"AI meets Formal Software Development (Dagstuhl Seminar 12271).","type":"article","url":"http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#BundyHJM12","volume":"2","year":"2012","bibbaseid":"bundy-hutter-jones-moore-strother-aimeetsformalsoftwaredevelopmentdagstuhlseminar12271-2012","role":"author","urls":{"Link":"http://dx.doi.org/10.4230/DagRep.2.7.1","Paper":"http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#BundyHJM12"},"keyword":["dblp"],"downloads":0},"search_terms":["meets","formal","software","development","dagstuhl","seminar","12271","bundy","hutter","jones","moore","strother"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CNaPQFuj8cuTCPAK7"]}