Login / Signup
David Sanán
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 38
Top Topics
Formal Model
Theorem Prover
Memory Management
Reactive Systems
Top Venues
CoRR
FM
ICECCS
Arch. Formal Proofs
</>
Publications
</>