BibTeX record conf/sies/CiccozziCKS11

download as .bib file

@inproceedings{DBLP:conf/sies/CiccozziCKS11,
  author       = {Federico Ciccozzi and
                  Antonio Cicchetti and
                  Mikael Krekola and
                  Mikael Sj{\"{o}}din},
  title        = {Generation of correct-by-construction code from design models for
                  embedded systems},
  booktitle    = {Industrial Embedded Systems (SIES), 2011 6th {IEEE} International
                  Symposium on, {SIES} 2011. Vasteras, Sweden, June 15-17, 2011},
  pages        = {63--66},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/SIES.2011.5953681},
  doi          = {10.1109/SIES.2011.5953681},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sies/CiccozziCKS11.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.