Arusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad. Language-Independent Program Verification Using Symbolic Execution. Rapport de recherche RR-8369, INRIA, Sep 2013.
@techreport{arusoaie:hal-00864341,
title = {Language-Independent Program Verification Using Symbolic Execution},
author = {Arusoaie, Andrei and Lucanu, Dorel and Rusu, Vlad},
year = {2013},
month = {Sep},
url = {http://hal.inria.fr/hal-00864341},
researchr = {https://researchr.org/publication/arusoaie%3Ahal-00864341},
cites = {0},
citedby = {0},
institution = {INRIA},
type = {Rapport de recherche},
number = {RR-8369},
}