BibTeX record conf/sbes/MartinsACLNQS89

download as .bib file

@inproceedings{DBLP:conf/sbes/MartinsACLNQS89,
  author       = {Raul C{\'{e}}sar B. Martins and
                  Gustavo de O. Annarumma and
                  Luiza Maria F. Carneiro and
                  Arnaldo Hil{\'{a}}rio Viegas de Lima and
                  Paschoal Molinari No. and
                  Elisabete M. B. de la Quintana and
                  Ronaldo Stern},
  editor       = {Roberto Spolidoro and
                  Erat{\'{o}}stenes E. R. Ara{\'{u}}jo and
                  D{\'{e}}cio Fonseca and
                  Judith Kelner and
                  Silvio Meira},
  title        = {M{\'{e}}todos Formais para Desenvolvimento de Software: Um estudo
                  de caso, o projeto {GARDEN}},
  booktitle    = {Proceedings of the 3rd Brazilian Symposium on Software Engineering,
                  {SBES} 1989, Recife, PE, Brazil, October 25-27, 1989},
  pages        = {201--213},
  publisher    = {{SBC}},
  year         = {1989},
  url          = {https://doi.org/10.5753/sbes.1989.25260},
  doi          = {10.5753/SBES.1989.25260},
  timestamp    = {Wed, 10 Jan 2024 15:49:57 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/MartinsACLNQS89.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.