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

Name: Symbolic methods applied to the automation of computational proofs - Building simulators
Start: 2018-08-12T00:00:00Z
Location: FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA

PDF

Date

Aug 12, 2018

Location

FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA

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

Charlie Jacomme

Full Time Researcher (CR) at Inria Nancy