Charlie Jacomme
Charlie Jacomme
Home
Publications
Teaching
Non Academic Materials
Contact
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 CISPA
Cite
×