Usage statistics

Totals for datasets (co-)authored by Ellen Wittingen

Datasets

• Artifact for Paper: (Deductive verification of SYCL in VerCors)

Co-authors

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

• Marieke Huisman
• Ömer Şakar