Login / Signup

Armaël Guéneau

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 10

Top Topics

Modal Logic
Formal Proof
Control Flow

Top Venues

Proc. ACM Program. Lang.
ESOP
CSF
ITP

Inria, Paris, France (PHD)

Education History
Inria, Paris, France

PHD

Publications