Usage statistics

Totals for datasets (co-)authored by Dré van Oorschot

Datasets

• Artifact for paper (First Steps towards Deductive Verification of LLVM IR)

Co-authors

Co-authors of Dré van Oorschot's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Marieke Huisman
• Ömer Şakar