Usage statistics

Totals for datasets (co-)authored by Pieter Bos

Datasets

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

Co-authors

Co-authors of Pieter Bos's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Lars van den Haak
• Lukas Armborst
• Marieke Huisman
• Philip Tasche
• Robert Rubbens
• Ömer Şakar