@article{journals/iandc/GurovHS08,
  added-at = {2017-12-31T00:00:00.000+0100},
  author = {Gurov, Dilian and Huisman, Marieke and Sprenger, Christoph},
  biburl = {https://www.bibsonomy.org/bibtex/2518d3e2495847a6cbd7df0c47656d1ba/dblp},
  ee = {https://doi.org/10.1016/j.ic.2008.03.003},
  interhash = {a0fb89fa3d0a42f8be0315f259bfda1b},
  intrahash = {518d3e2495847a6cbd7df0c47656d1ba},
  journal = {Inf. Comput.},
  keywords = {dblp},
  number = 7,
  pages = {840-868},
  timestamp = {2018-01-02T11:35:20.000+0100},
  title = {Compositional verification of sequential programs with procedures.},
  url = {http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#GurovHS08},
  volume = 206,
  year = 2008
}

{"_id":"T6eS7Shbrja2S37M5","bibbaseid":"gurov-huisman-sprenger-compositionalverificationofsequentialprogramswithprocedures-2008","authorIDs":["5d14be645b939dee01000058"],"author_short":["Gurov, D.","Huisman, M.","Sprenger, C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2017-12-31T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Gurov"],"firstnames":["Dilian"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Sprenger"],"firstnames":["Christoph"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2518d3e2495847a6cbd7df0c47656d1ba/dblp","ee":"https://doi.org/10.1016/j.ic.2008.03.003","interhash":"a0fb89fa3d0a42f8be0315f259bfda1b","intrahash":"518d3e2495847a6cbd7df0c47656d1ba","journal":"Inf. Comput.","keywords":"dblp","number":"7","pages":"840-868","timestamp":"2018-01-02T11:35:20.000+0100","title":"Compositional verification of sequential programs with procedures.","url":"http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#GurovHS08","volume":"206","year":"2008","bibtex":"@article{journals/iandc/GurovHS08,\n added-at = {2017-12-31T00:00:00.000+0100},\n author = {Gurov, Dilian and Huisman, Marieke and Sprenger, Christoph},\n biburl = {https://www.bibsonomy.org/bibtex/2518d3e2495847a6cbd7df0c47656d1ba/dblp},\n ee = {https://doi.org/10.1016/j.ic.2008.03.003},\n interhash = {a0fb89fa3d0a42f8be0315f259bfda1b},\n intrahash = {518d3e2495847a6cbd7df0c47656d1ba},\n journal = {Inf. Comput.},\n keywords = {dblp},\n number = 7,\n pages = {840-868},\n timestamp = {2018-01-02T11:35:20.000+0100},\n title = {Compositional verification of sequential programs with procedures.},\n url = {http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#GurovHS08},\n volume = 206,\n year = 2008\n}\n\n","author_short":["Gurov, D.","Huisman, M.","Sprenger, C."],"key":"journals/iandc/GurovHS08","id":"journals/iandc/GurovHS08","bibbaseid":"gurov-huisman-sprenger-compositionalverificationofsequentialprogramswithprocedures-2008","role":"author","urls":{"Link":"https://doi.org/10.1016/j.ic.2008.03.003","Paper":"http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#GurovHS08"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.089Z","downloads":0,"keywords":["dblp"],"search_terms":["compositional","verification","sequential","programs","procedures","gurov","huisman","sprenger"],"title":"Compositional verification of sequential programs with procedures.","year":2008,"dataSources":["sAaBbgDRpNpcvbGWj"]}