Usage statistics

Totals for datasets (co-)authored by Sára Juhošová

Datasets

• Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems