Usage statistics

Totals for datasets (co-)authored by Lars van den Haak

Datasets

• Artifact to supplement the paper: The VerCors Verifier: a Progress Report

Co-authors

Co-authors of Lars van den Haak's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Lukas Armborst
• Marieke Huisman
• Philip Tasche
• Pieter Bos
• Robert Rubbens
• Ömer Şakar