BibTeX records: Valério Medeiros Júnior

download as .bib file

@inproceedings{DBLP:conf/tap/OliveiraMDM19,
  author    = {Diego de Azevedo Oliveira and
               Val{\'{e}}rio Medeiros Jr. and
               David D{\'{e}}harbe and
               Martin A. Musicante},
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {BTestBox: {A} Tool for Testing {B} Translators and Coverage of {B}
               Models},
  booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  pages     = {83--92},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31157-5\_6},
  doi       = {10.1007/978-3-030-31157-5\_6},
  timestamp = {Tue, 23 Jun 2020 17:50:04 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/OliveiraMDM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BonichonDLM14,
  author    = {Richard Bonichon and
               David D{\'{e}}harbe and
               Thierry Lecomte and
               Val{\'{e}}rio Medeiros Jr.},
  editor    = {Christiano Braga and
               Narciso Mart{\'{\i}}{-}Oliet},
  title     = {LLVM-Based Code Generation for {B}},
  booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
               {SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
               2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8941},
  pages     = {1--16},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-15075-8\_1},
  doi       = {10.1007/978-3-319-15075-8\_1},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sbmf/BonichonDLM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JuniorD14,
  author    = {Val{\'{e}}rio Medeiros J{\'{u}}nior and
               David D{\'{e}}harbe},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {BEval: {A} Plug-in to Extend Atelier {B} with Current Verification
               Technologies},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {53--58},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.5},
  doi       = {10.4204/EPTCS.139.5},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/JuniorD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DantasDGMJ09,
  author    = {Bartira Dantas and
               David D{\'{e}}harbe and
               Stephenson Galv{\~{a}}o and
               Anamaria Martins Moreira and
               Val{\'{e}}rio Medeiros J{\'{u}}nior},
  title     = {Verified Compilation and the {B} Method: {A} Proposal and a First
               Appraisal},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {240},
  pages     = {79--96},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.05.046},
  doi       = {10.1016/j.entcs.2009.05.046},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/DantasDGMJ09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/JuniorD09,
  author    = {Val{\'{e}}rio Medeiros J{\'{u}}nior and
               David D{\'{e}}harbe},
  editor    = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
               Jim Woodcock},
  title     = {Formal Modelling of a Microcontroller Instruction Set in {B}},
  booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
               on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5902},
  pages     = {282--289},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10452-7\_19},
  doi       = {10.1007/978-3-642-10452-7\_19},
  timestamp = {Sun, 02 Jun 2019 21:24:55 +0200},
  biburl    = {https://dblp.org/rec/conf/sbmf/JuniorD09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics