BibTeX record conf/date/CheynetNVRRV01

• > Home > conf/date/CheynetNVRRV01

@inproceedings{DBLP:conf/date/CheynetNVRRV01,
  author       = {Ph. Cheynet and
                  Bogdan Nicolescu and
                  Raoul Velazco and
                  Maurizio Rebaudengo and
                  Matteo Sonza Reorda and
                  Massimo Violante},
  editor       = {Wolfgang Nebel and
                  Ahmed Jerraya},
  title        = {System safety through automatic high-level code transformations: an
                  experimental evaluation},
  booktitle    = {Proceedings of the Conference on Design, Automation and Test in Europe,
                  {DATE} 2001, Munich, Germany, March 12-16, 2001},
  pages        = {297--301},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/DATE.2001.915040},
  doi          = {10.1109/DATE.2001.915040},
  timestamp    = {Fri, 24 Mar 2023 00:02:47 +0100},
  biburl       = {https://dblp.org/rec/conf/date/CheynetNVRRV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}