Conference paper Open Access

Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C

Blanchard, Allan; Kosmatov Nikolai; Loulergue, Frederic


BibTeX Export

@proceedings{blanchard_allan_2018_1402494,
  title        = {{Ghosts for Lists: A Critical Module of Contiki 
                   Verified in Frama-C}},
  year         = 2018,
  publisher    = {Zenodo},
  month        = apr,
  doi          = {10.5281/zenodo.1402494},
  url          = {https://doi.org/10.5281/zenodo.1402494}
}
54
128
views
downloads
All versions This version
Views 5454
Downloads 128127
Data volume 65.7 MB65.1 MB
Unique views 4545
Unique downloads 124123

Share

Cite as