BibTeX record conf/cibse/BertoliniM08

download as .bib file

@inproceedings{DBLP:conf/cibse/BertoliniM08,
  author       = {Cristiano Bertolini and
                  Alexandre Mota},
  editor       = {Maria Lencastre and
                  Jo{\~{a}}o Falc{\~{a}}o e Cunha and
                  Antonio Valecillo},
  title        = {Using Refinement Checking as System Testing},
  booktitle    = {Memorias de la {XI} Conferencia Iberoamericana de Software Engineering
                  (CIbSE 2008), Recife, Pernambuco, Brasil, February 13-17, 2008},
  pages        = {17--30},
  year         = {2008},
  timestamp    = {Mon, 26 Sep 2022 12:22:10 +0200},
  biburl       = {https://dblp.org/rec/conf/cibse/BertoliniM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics