%0 Thesis %1 phd/hal/Buhler17 %A Bühler, David %D 2017 %K %T Structuring an Abstract Interpreter through Value and State Abstractions:EVA, an Evolved Value Analysis for Frama-C. (Structurer un interpréteur abstrait au moyen d'abstractions de valeurs et d'états :Eva, une analyse de valeur évoluée pour Frama-C).

@phdthesis{phd/hal/Buhler17, added-at = {2023-12-12T22:04:12.000+0100}, author = {Bühler, David}, biburl = {https://www.bibsonomy.org/bibtex/23fecc461266b37621f66a0ad501fc5fb/admin}, ee = {https://tel.archives-ouvertes.fr/tel-01664726}, interhash = {4680be83972ffe0c8561ee0734aecb76}, intrahash = {3fecc461266b37621f66a0ad501fc5fb}, keywords = {}, school = {University of Rennes 1, France}, timestamp = {2023-12-12T22:04:12.000+0100}, title = {Structuring an Abstract Interpreter through Value and State Abstractions:EVA, an Evolved Value Analysis for Frama-C. (Structurer un interpréteur abstrait au moyen d'abstractions de valeurs et d'états :Eva, une analyse de valeur évoluée pour Frama-C).}, year = 2017 }