BibTeX record conf/slate/CostaCH12

download as .bib file

@inproceedings{DBLP:conf/slate/CostaCH12,
  author       = {Ulisses Ara{\'{u}}jo Costa and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  editor       = {Alberto Sim{\~{o}}es and
                  Ricardo Queir{\'{o}}s and
                  Daniela Carneiro da Cruz},
  title        = {Automatic Test Generation for Space},
  booktitle    = {1st Symposium on Languages, Applications and Technologies, {SLATE}
                  2012, Braga, Portugal, June 21-22, 2012},
  series       = {OASIcs},
  volume       = {21},
  pages        = {185--203},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2012.185},
  doi          = {10.4230/OASICS.SLATE.2012.185},
  timestamp    = {Mon, 05 Feb 2024 20:33:56 +0100},
  biburl       = {https://dblp.org/rec/conf/slate/CostaCH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics