@article{journals/iee/GiannakopoulouP10,
  added-at = {2019-02-04T00:00:00.000+0100},
  author = {Giannakopoulou, Dimitra and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/22f30a250281f66728d7c1d65270af313/dblp},
  ee = {https://doi.org/10.1049/iet-sen.2010.9053},
  interhash = {7542308ffa1d293d8765986440b1b753},
  intrahash = {2f30a250281f66728d7c1d65270af313},
  journal = {IET Software},
  keywords = {dblp},
  number = 3,
  pages = {179-180},
  timestamp = {2019-02-05T11:37:12.000+0100},
  title = {Editorial: automated compositional verification.},
  url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#GiannakopoulouP10},
  volume = 4,
  year = 2010
}

{"_id":"pdGKQtCnscrQDpTdB","bibbaseid":"giannakopoulou-pasareanu-editorialautomatedcompositionalverification-2010","authorIDs":[],"author_short":["Giannakopoulou, D.","Pasareanu, C. S."],"bibdata":{"bibtype":"article","type":"article","added-at":"2019-02-04T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22f30a250281f66728d7c1d65270af313/dblp","ee":"https://doi.org/10.1049/iet-sen.2010.9053","interhash":"7542308ffa1d293d8765986440b1b753","intrahash":"2f30a250281f66728d7c1d65270af313","journal":"IET Software","keywords":"dblp","number":"3","pages":"179-180","timestamp":"2019-02-05T11:37:12.000+0100","title":"Editorial: automated compositional verification.","url":"http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#GiannakopoulouP10","volume":"4","year":"2010","bibtex":"@article{journals/iee/GiannakopoulouP10,\n added-at = {2019-02-04T00:00:00.000+0100},\n author = {Giannakopoulou, Dimitra and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/22f30a250281f66728d7c1d65270af313/dblp},\n ee = {https://doi.org/10.1049/iet-sen.2010.9053},\n interhash = {7542308ffa1d293d8765986440b1b753},\n intrahash = {2f30a250281f66728d7c1d65270af313},\n journal = {IET Software},\n keywords = {dblp},\n number = 3,\n pages = {179-180},\n timestamp = {2019-02-05T11:37:12.000+0100},\n title = {Editorial: automated compositional verification.},\n url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#GiannakopoulouP10},\n volume = 4,\n year = 2010\n}\n\n","author_short":["Giannakopoulou, D.","Pasareanu, C. S."],"key":"journals/iee/GiannakopoulouP10","id":"journals/iee/GiannakopoulouP10","bibbaseid":"giannakopoulou-pasareanu-editorialautomatedcompositionalverification-2010","role":"author","urls":{"Link":"https://doi.org/10.1049/iet-sen.2010.9053","Paper":"http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#GiannakopoulouP10"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:17.941Z","downloads":0,"keywords":["dblp"],"search_terms":["editorial","automated","compositional","verification","giannakopoulou","pasareanu"],"title":"Editorial: automated compositional verification.","year":2010,"dataSources":["nk4Sfi2ddzBtdLpRN"]}