Leiden University Scholarly Publications

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

Documents

Beta release

Statistics of Integrating ADTs in KeY and their application to history-based reasoning about collection
Statistics for this year
PeriodVisitsDownloads
202433
Statistics for the last 3 months
PeriodVisitsDownloads
2024-0911
2024-1011
2024-1100