BibTeX record conf/tap/MoreiraHDMNM15

• > Home > conf/tap/MoreiraHDMNM15

@inproceedings{DBLP:conf/tap/MoreiraHDMNM15,
  author       = {Anamaria Martins Moreira and
                  Cleverton Hentz and
                  David D{\'{e}}harbe and
                  Ernesto Cid Brasil de Matos and
                  Jo{\~{a}}o Batista de Souza Neto and
                  Val{\'{e}}rio de Medeiros Jr.},
  editor       = {Jasmin Christian Blanchette and
                  Nikolai Kosmatov},
  title        = {Verifying Code Generation Tools for the B-Method Using Tests: {A}
                  Case Study},
  booktitle    = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
                  Italy, July 22-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9154},
  pages        = {76--91},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21215-9\_5},
  doi          = {10.1007/978-3-319-21215-9\_5},
  timestamp    = {Mon, 23 Nov 2020 15:09:43 +0100},
  biburl       = {https://dblp.org/rec/conf/tap/MoreiraHDMNM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}