Frédéric Boulanger

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 21

Top Topics

Qualitative Simulation

Operational Semantics

Massive Open Online Courses

Top Venues

MoDELS (Companion)

Arch. Formal Proofs

Publications