Dorian Lesbre

Verifying programs by abstract interpretation based on an SSA translation

dorian.lesbre_at_cea.fr
https://www.normalesup.org/~dlesbre/
https://www.linkedin.com/in/dorian-lesbre-78a002122