%0 Conference Paper %1 conf/memocode/YuanT21 %A Yuan, Shenghao %A Talpin, Jean-Pierre %B MEMOCODE %D 2021 %E Arun-Kumar, S. %E Méry, Dominique %E Saha, Indranil %E Zhang, Lijun %I ACM %K dblp %P 89-97 %T Verified functional programming of an IoT operating system's bootloader. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2021.html#YuanT21 %@ 978-1-4503-9127-6

@inproceedings{conf/memocode/YuanT21, added-at = {2022-10-02T00:00:00.000+0200}, author = {Yuan, Shenghao and Talpin, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2320767b65d654a20216d717736863a80/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2021}, editor = {Arun-Kumar, S. and Méry, Dominique and Saha, Indranil and Zhang, Lijun}, ee = {https://doi.org/10.1145/3487212.3487347}, interhash = {8f9b224e995a913d687f13c518399a2c}, intrahash = {320767b65d654a20216d717736863a80}, isbn = {978-1-4503-9127-6}, keywords = {dblp}, pages = {89-97}, publisher = {ACM}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Verified functional programming of an IoT operating system's bootloader.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2021.html#YuanT21}, year = 2021 }