Leiden University Scholarly Publications

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

Exit statistics

Documents

- Download
- Full Text
- open access
- Download
- Cover
- open access
- Download
- Title Pages_Contents
- open access
- Download
- Chapter 1
- open access
- Download
- Chapter 2
- open access
- Download
- Chapter 3
- open access
- Download
- Chapter 4
- open access
- Download
- Chapter 5
- open access
- Download
- Chapter 6
- open access
- Download
- Chapter 7
- open access
- Download
- Chapter 8
- open access
- Download
- Chapter 9
- open access
- Download
- Summary in English
- open access
- Download
- Summary in Dutch
- open access
- Download
- Acknowledgements_Curriculum Vitae_Bibliography
- open access
- Download
- Propositions
- open access

Beta release

Statistics of Software development by abstract behavioural specification
Statistics for this year

Period Visits Downloads

2026 1275 995

Statistics for the last 3 months

Period Visits Downloads

2026-07 189 189

2026-08 160 160

2026-09 318 57