@inproceedings{RubbensLH21,
  author    = {Robert Rubbens and
               Sophie Lathouwers and
               Marieke Huisman},
  editor    = {Alberto Lluch{-}Lafuente and
               Anastasia Mavridou},
  title     = {Modular Transformation of Java Exceptions Modulo Errors},
  booktitle = {Formal Methods for Industrial Critical Systems - 26th International
               Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12863},
  pages     = {67--84},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-85248-1\_5},
  doi       = {10.1007/978-3-030-85248-1\_5},
  timestamp = {Wed, 01 Sep 2021 12:53:45 +0200},
  biburl    = {https://dblp.org/rec/conf/fmics/RubbensLH21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"dxEWQc4roASnd8rxK","bibbaseid":"rubbens-lathouwers-huisman-modulartransformationofjavaexceptionsmoduloerrors-2021","author_short":["Rubbens, R.","Lathouwers, S.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Rubbens"],"suffixes":[]},{"firstnames":["Sophie"],"propositions":[],"lastnames":["Lathouwers"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"editor":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Lluch-Lafuente"],"suffixes":[]},{"firstnames":["Anastasia"],"propositions":[],"lastnames":["Mavridou"],"suffixes":[]}],"title":"Modular Transformation of Java Exceptions Modulo Errors","booktitle":"Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings","series":"Lecture Notes in Computer Science","volume":"12863","pages":"67–84","publisher":"Springer","year":"2021","url":"https://doi.org/10.1007/978-3-030-85248-1\\_5","doi":"10.1007/978-3-030-85248-1_5","timestamp":"Wed, 01 Sep 2021 12:53:45 +0200","biburl":"https://dblp.org/rec/conf/fmics/RubbensLH21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{RubbensLH21,\n author = {Robert Rubbens and\n Sophie Lathouwers and\n Marieke Huisman},\n editor = {Alberto Lluch{-}Lafuente and\n Anastasia Mavridou},\n title = {Modular Transformation of Java Exceptions Modulo Errors},\n booktitle = {Formal Methods for Industrial Critical Systems - 26th International\n Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12863},\n pages = {67--84},\n publisher = {Springer},\n year = {2021},\n url = {https://doi.org/10.1007/978-3-030-85248-1\\_5},\n doi = {10.1007/978-3-030-85248-1\\_5},\n timestamp = {Wed, 01 Sep 2021 12:53:45 +0200},\n biburl = {https://dblp.org/rec/conf/fmics/RubbensLH21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Rubbens, R.","Lathouwers, S.","Huisman, M."],"editor_short":["Lluch-Lafuente, A.","Mavridou, A."],"key":"RubbensLH21","id":"RubbensLH21","bibbaseid":"rubbens-lathouwers-huisman-modulartransformationofjavaexceptionsmoduloerrors-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-85248-1\\_5"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["modular","transformation","java","exceptions","modulo","errors","rubbens","lathouwers","huisman"],"title":"Modular Transformation of Java Exceptions Modulo Errors","year":2021}