Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Guillaume Hiet

Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

ARMHEx: A Framework for Efficient DIFT in Real-World SoCs

English