Login / Signup
Inmaculada Perez de Guzmán
Publication Activity (10 Years)
Years Active: 1995-2022
Publications (10 Years): 3
Top Topics
Dynamic Constraints
Denoising
Temporal Logic
Formal Specification Language
Top Venues
Log. J. IGPL
Math. Log. Q.
TIME
AiML
</>
Publications
</>