BibTeX record conf/isola/LepperT14

download as .bib file

@inproceedings{DBLP:conf/isola/LepperT14,
  author       = {Markus Lepper and
                  Baltasar Tranc{\'{o}}n y Widemann},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Rewriting Object Models With Cycles and Nested Collections - {A} Model-Based
                  Metaprogramming Problem},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Technologies for Mastering Change - 6th International Symposium, ISoLA
                  2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8802},
  pages        = {445--460},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45234-9\_31},
  doi          = {10.1007/978-3-662-45234-9\_31},
  timestamp    = {Fri, 06 Aug 2021 21:44:25 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LepperT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.