Usage statistics

Totals for datasets (co-)authored by Petra van den Bos

Datasets

• Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

Co-authors

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

• Larisa Safina
• Marieke Huisman
• Robert Rubbens
• Simon Bliudze