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
PostDoc at CISPA