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

@phdthesis{phd/hal/Jourdan16, added-at = {2020-07-21T00:00:00.000+0200}, author = {Jourdan, Jacques-Henri}, biburl = {https://www.bibsonomy.org/bibtex/2d2b21c6602f54f8738e490591974f51a/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01327023}, interhash = {9a7b0fa3533ce5b3f424b440415d581c}, intrahash = {d2b21c6602f54f8738e490591974f51a}, keywords = {dblp}, school = {Paris Diderot University, France}, timestamp = {2020-07-24T00:49:43.000+0200}, title = {Verasco: a Formally Verified C Static Analyzer. (Verasco: un analyseur statique pour C formellement vérifié).}, year = 2016 }