Login / Signup
Dré van Oorschot
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Signature Verification
Person Identification
Abductive Inference
Information Retrieval Systems
Top Venues
FASE
</>
Publications
</>
Dré van Oorschot
,
Marieke Huisman
,
Ömer Sakar
First Steps towards Deductive Verification of LLVM IR.
FASE
(2024)