@article{journals/fmsd/GiannakopoulouP08,
  added-at = {2008-05-28T00:00:00.000+0200},
  author = {Giannakopoulou, Dimitra and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/2e79f0af0cfa5860dcdeaf30e1ae1f64d/dblp},
  date = {2008-05-28},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/s10703-008-0054-9},
  interhash = {32695aeccc8f85445f3b3142df5d4c74},
  intrahash = {e79f0af0cfa5860dcdeaf30e1ae1f64d},
  journal = {Formal Methods in System Design},
  keywords = {dblp},
  number = 3,
  pages = {173-174},
  timestamp = {2008-05-29T11:46:50.000+0200},
  title = {Special issue on learning techniques for compositional reasoning.},
  url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#GiannakopoulouP08},
  volume = 32,
  year = 2008
}

{"_id":"MFDWZtskeyFqh9A67","bibbaseid":"giannakopoulou-pasareanu-specialissueonlearningtechniquesforcompositionalreasoning-2008","authorIDs":[],"author_short":["Giannakopoulou, D.","Pasareanu, C. S."],"bibdata":{"bibtype":"article","type":"article","added-at":"2008-05-28T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e79f0af0cfa5860dcdeaf30e1ae1f64d/dblp","date":"2008-05-28","description":"dblp","ee":"http://dx.doi.org/10.1007/s10703-008-0054-9","interhash":"32695aeccc8f85445f3b3142df5d4c74","intrahash":"e79f0af0cfa5860dcdeaf30e1ae1f64d","journal":"Formal Methods in System Design","keywords":"dblp","number":"3","pages":"173-174","timestamp":"2008-05-29T11:46:50.000+0200","title":"Special issue on learning techniques for compositional reasoning.","url":"http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#GiannakopoulouP08","volume":"32","year":"2008","bibtex":"@article{journals/fmsd/GiannakopoulouP08,\n added-at = {2008-05-28T00:00:00.000+0200},\n author = {Giannakopoulou, Dimitra and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/2e79f0af0cfa5860dcdeaf30e1ae1f64d/dblp},\n date = {2008-05-28},\n description = {dblp},\n ee = {http://dx.doi.org/10.1007/s10703-008-0054-9},\n interhash = {32695aeccc8f85445f3b3142df5d4c74},\n intrahash = {e79f0af0cfa5860dcdeaf30e1ae1f64d},\n journal = {Formal Methods in System Design},\n keywords = {dblp},\n number = 3,\n pages = {173-174},\n timestamp = {2008-05-29T11:46:50.000+0200},\n title = {Special issue on learning techniques for compositional reasoning.},\n url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#GiannakopoulouP08},\n volume = 32,\n year = 2008\n}\n\n","author_short":["Giannakopoulou, D.","Pasareanu, C. S."],"key":"journals/fmsd/GiannakopoulouP08","id":"journals/fmsd/GiannakopoulouP08","bibbaseid":"giannakopoulou-pasareanu-specialissueonlearningtechniquesforcompositionalreasoning-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s10703-008-0054-9","Paper":"http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#GiannakopoulouP08"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.736Z","downloads":0,"keywords":["dblp"],"search_terms":["special","issue","learning","techniques","compositional","reasoning","giannakopoulou","pasareanu"],"title":"Special issue on learning techniques for compositional reasoning.","year":2008,"dataSources":["nk4Sfi2ddzBtdLpRN"]}