Login / Signup
Jean-Christophe Filliâtre
Publication Activity (10 Years)
Years Active: 1998-2022
Publications (10 Years): 8
Top Topics
Theorem Prover
Ambrosio Tortorelli
Software Implementation
Partial Differential Equations
Top Venues
VSTTE
RV
J. Log. Algebraic Methods Program.
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>