Julien Simonnet

Julien Simonnet

Intern

Symbolic execution, abstract domains and path merging

julien.simmonet_at_cea.fr