Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset. Intermittent Computing with Peripherals, Formally Verified. In Jingling Xue, Changhee Jung, editors, Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2020, London, UK, June 16, 2020. pages 85-96, ACM, 2020. [doi]
@inproceedings{BerthouDDOR20,
title = {Intermittent Computing with Peripherals, Formally Verified},
author = {Gautier Berthou and Pierre-Évariste Dagand and Delphine Demange and Rémi Oudin and Tanguy Risset},
year = {2020},
doi = {10.1145/3372799.3394365},
url = {https://doi.org/10.1145/3372799.3394365},
researchr = {https://researchr.org/publication/BerthouDDOR20},
cites = {0},
citedby = {0},
pages = {85-96},
booktitle = {Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2020, London, UK, June 16, 2020},
editor = {Jingling Xue and Changhee Jung},
publisher = {ACM},
isbn = {978-1-4503-7094-3},
}