Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/3754248

Documents

Beta release

Statistics of Reasoning about object-oriented programs
Statistics for this year
PeriodVisitsDownloads
2026768751
Statistics for the last 3 months
PeriodVisitsDownloads
2026-05184184
2026-06127127
2026-078379