Usage statistics

Totals for datasets (co-)authored by Vadim Zaytsev

Datasets

• Data underlying the publication: "CoCoCoLa: Code Completion Control Language"
• ProVerB: Dataset of Tools and Formats for Program Verification

Co-authors

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

• Nhat
• Sophie Lathouwers