Charles Pecheur

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 8

Top Topics

False Acceptance Rate

Epistemic Logic

Formal Verification

Top Venues

AAAI Spring Symposia

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications