%0 Thesis %1 phd/hal/Wilke16 %A Wilke, Pierre %D 2016 %K %T Formally verified compilation of low-level C code. (Compilation formellement vérifiée de code C de bas-niveau).

@phdthesis{phd/hal/Wilke16, added-at = {2023-12-13T08:38:53.000+0100}, author = {Wilke, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/204fd96e1b672c281ec88c43c2f87b8c6/admin}, ee = {https://tel.archives-ouvertes.fr/tel-01483676}, interhash = {c5e1ea547779b9b89f22953ea805044c}, intrahash = {04fd96e1b672c281ec88c43c2f87b8c6}, keywords = {}, school = {University of Rennes 1, France}, timestamp = {2023-12-13T08:38:53.000+0100}, title = {Formally verified compilation of low-level C code. (Compilation formellement vérifiée de code C de bas-niveau).}, year = 2016 }