BibTeX record conf/slate/Paar12

download as .bib file

@inproceedings{DBLP:conf/slate/Paar12,
  author       = {Alexander Paar},
  editor       = {Alberto Sim{\~{o}}es and
                  Ricardo Queir{\'{o}}s and
                  Daniela Carneiro da Cruz},
  title        = {From Program Execution to Automatic Reasoning: Integrating Ontologies
                  into Programming Languages (Keynote)},
  booktitle    = {1st Symposium on Languages, Applications and Technologies, {SLATE}
                  2012, Braga, Portugal, June 21-22, 2012},
  series       = {OASIcs},
  volume       = {21},
  pages        = {5--5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2012.5},
  doi          = {10.4230/OASICS.SLATE.2012.5},
  timestamp    = {Wed, 24 Aug 2022 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/Paar12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics