@inproceedings{ dblp3443360,
  title = {A Generic Complete Dynamic Logic for Reasoning About Purity and Effects},
  author = {Till Mossakowski and Lutz Schröder and Sergey Goncharov 0001},
  author_short = {Mossakowski, T. and Schröder, L. and Goncharov 0001, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2008},
  key = {dblp3443360},
  id = {dblp3443360},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fase/MossakowskiSG08},
  url = {http://dx.doi.org/10.1007/978-3-540-78743-3_15},
  conference = {FASE},
  pages = {199-214},
  text = {FASE 2008:199-214},
  booktitle = {Proceedings of Fundamental Approaches to Software Engineering (FASE)}
}

{"_id":"cbJNK5etmHeNwXuz8","bibbaseid":"mossakowski-schrder-goncharov0001-agenericcompletedynamiclogicforreasoningaboutpurityandeffects-2008","downloads":0,"creationDate":"2016-05-07T17:06:47.321Z","title":"A Generic Complete Dynamic Logic for Reasoning About Purity and Effects","author_short":["Mossakowski, T.","Schröder, L.","Goncharov 0001, S."],"year":2008,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fase/MossakowskiSG08","bibdata":{"title":"A Generic Complete Dynamic Logic for Reasoning About Purity and Effects","author":["Till Mossakowski","Lutz Schröder","Sergey Goncharov 0001"],"author_short":["Mossakowski, T.","Schröder, L.","Goncharov 0001, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2008","key":"dblp3443360","id":"dblp3443360","biburl":"http://www.dblp.org/rec/bibtex/conf/fase/MossakowskiSG08","url":"http://dx.doi.org/10.1007/978-3-540-78743-3_15","conference":"FASE","pages":"199-214","text":"FASE 2008:199-214","booktitle":"Proceedings of Fundamental Approaches to Software Engineering (FASE)","bibtex":"@inproceedings{ dblp3443360,\n title = {A Generic Complete Dynamic Logic for Reasoning About Purity and Effects},\n author = {Till Mossakowski and Lutz Schröder and Sergey Goncharov 0001},\n author_short = {Mossakowski, T. and Schröder, L. and Goncharov 0001, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp3443360},\n id = {dblp3443360},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fase/MossakowskiSG08},\n url = {http://dx.doi.org/10.1007/978-3-540-78743-3_15},\n conference = {FASE},\n pages = {199-214},\n text = {FASE 2008:199-214},\n booktitle = {Proceedings of Fundamental Approaches to Software Engineering (FASE)}\n}","bibbaseid":"mossakowski-schrder-goncharov0001-agenericcompletedynamiclogicforreasoningaboutpurityandeffects-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-78743-3_15"},"downloads":0},"search_terms":["generic","complete","dynamic","logic","reasoning","purity","effects","mossakowski","schröder","goncharov 0001"],"keywords":[],"authorIDs":[],"dataSources":["avd4Z4ZY9XGx4ArbN"]}