BibTeX record conf/icse/FoughaliBDHIM18

download as .bib file

@inproceedings{DBLP:conf/icse/FoughaliBDHIM18,
  author    = {Mohammed Foughali and
               Bernard Berthomieu and
               Silvano Dal{-}Zilio and
               Pierre{-}Emmanuel Hladik and
               F{\'{e}}lix Ingrand and
               Anthony Mallet},
  editor    = {Stefania Gnesi and
               Nico Plat and
               Paola Spoletini and
               Patrizio Pelliccione},
  title     = {Formal verification of complex robotic systems on resource-constrained
               platforms},
  booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
               FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
               2, 2018},
  pages     = {2--9},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3193992.3193996},
  doi       = {10.1145/3193992.3193996},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/FoughaliBDHIM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics