@article{DBLP:journals/jlp/BartolettiMSZ17,
  author       = {Massimo Bartoletti and
                  Maurizio Murgia and
                  Alceste Scalas and
                  Roberto Zunino},
  title        = {Verifiable abstractions for contract-oriented systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {159--207},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jlamp.2015.10.005},
  doi          = {10.1016/j.jlamp.2015.10.005},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BartolettiMSZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"kpCMxsXyqr6M6T79N","bibbaseid":"bartoletti-murgia-scalas-zunino-verifiableabstractionsforcontractorientedsystems-2017","downloads":0,"creationDate":"2018-10-04T11:57:50.150Z","title":"Verifiable abstractions for contract-oriented systems","author_short":["Bartoletti, M.","Murgia, M.","Scalas, A.","Zunino, R."],"year":2017,"bibtype":"article","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Murgia"],"suffixes":[]},{"firstnames":["Alceste"],"propositions":[],"lastnames":["Scalas"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Zunino"],"suffixes":[]}],"title":"Verifiable abstractions for contract-oriented systems","journal":"J. Log. Algebraic Methods Program.","volume":"86","number":"1","pages":"159–207","year":"2017","url":"https://doi.org/10.1016/j.jlamp.2015.10.005","doi":"10.1016/j.jlamp.2015.10.005","timestamp":"Thu, 23 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jlp/BartolettiMSZ17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jlp/BartolettiMSZ17,\n author = {Massimo Bartoletti and\n Maurizio Murgia and\n Alceste Scalas and\n Roberto Zunino},\n title = {Verifiable abstractions for contract-oriented systems},\n journal = {J. Log. Algebraic Methods Program.},\n volume = {86},\n number = {1},\n pages = {159--207},\n year = {2017},\n url = {https://doi.org/10.1016/j.jlamp.2015.10.005},\n doi = {10.1016/j.jlamp.2015.10.005},\n timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jlp/BartolettiMSZ17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bartoletti, M.","Murgia, M.","Scalas, A.","Zunino, R."],"key":"DBLP:journals/jlp/BartolettiMSZ17","id":"DBLP:journals/jlp/BartolettiMSZ17","bibbaseid":"bartoletti-murgia-scalas-zunino-verifiableabstractionsforcontractorientedsystems-2017","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jlamp.2015.10.005"},"metadata":{"authorlinks":{}}},"search_terms":["verifiable","abstractions","contract","oriented","systems","bartoletti","murgia","scalas","zunino"],"keywords":[],"authorIDs":[],"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf"]}