Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Symbolic methods applied to the automation of computational proofs - Building simulators
PDF
Date
Aug 12, 2018
Location
FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA
Charlie Jacomme
PostDoc at Inria Paris
Cite
×