Symbolic methods applied to the automation of computational proofs - Building simulators


Date
Aug 12, 2018
Location
FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA
Charlie Jacomme
Charlie Jacomme
Full Time Researcher (CR) at Inria Nancy