Leiden University Scholarly Publications

Beta release

Statistics of Verifying OCL specifications of UML models : tool support and compositionality
Statistics for this year
PeriodVisitsDownloads
2026432423
Statistics for the last 3 months
PeriodVisitsDownloads
2026-06121121
2026-0777
2026-085656