Login / Signup
Franck Cassez
ORCID
Publication Activity (10 Years)
Years Active: 1995-2024
Publications (10 Years): 20
Top Topics
Formal Verification
Invited Talk
Timed Automata
Intermediate Representation
Top Venues
CoRR
FM
SCALA@SPLASH
MARS
</>
Publications
</>