%0 Thesis %1 phd/hal/Jourdan16 %A Jourdan, Jacques-Henri %D 2016 %K %T Verasco: a Formally Verified C Static Analyzer. (Verasco: un analyseur statique pour C formellement vérifié).

@phdthesis{phd/hal/Jourdan16, added-at = {2023-12-13T04:48:03.000+0100}, author = {Jourdan, Jacques-Henri}, biburl = {https://www.bibsonomy.org/bibtex/2d2b21c6602f54f8738e490591974f51a/admin}, ee = {https://tel.archives-ouvertes.fr/tel-01327023}, interhash = {9a7b0fa3533ce5b3f424b440415d581c}, intrahash = {d2b21c6602f54f8738e490591974f51a}, keywords = {}, school = {Paris Diderot University, France}, timestamp = {2023-12-13T04:48:03.000+0100}, title = {Verasco: a Formally Verified C Static Analyzer. (Verasco: un analyseur statique pour C formellement vérifié).}, year = 2016 }