Leiden University Scholarly Publications

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

Documents

Beta release

Statistics of Abstract Behavioral Specification: unifying modeling and programming
Statistics for this year
PeriodVisitsDownloads
2026354344
Statistics for the last 3 months
PeriodVisitsDownloads
2026-054846
2026-069593
2026-0788