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]
Abstract is missing.