Persistent URL of this record https://hdl.handle.net/1887/3754248
Documents
-
- Full Text
- under embargo until 2025-05-21
-
- Download
- Title Pages_Contents
- open access
-
- Chapter 7
- under embargo until 2025-05-21
-
- Download
- Summary in English
- open access
-
- Download
- Summary in Dutch
- open access
-
- Download
- Propositions
- open access
In Collections
This item can be found in the following collections:
Reasoning about object-oriented programs: from classes to interfaces
Show less
- All authors
- Bian, J.
- Supervisor
- Boer, F.S. de; Bonsangue, M.M.
- Committee
- Nieuwpoort, R.V. van; Kleijn, H.C.M.; Jakobs, M.C.; Sirjani, M.; Poll, E.; Laarman, A.W.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Leiden Inst of Advanced Computer Science , Wiskunde en Natuurwetenschappen , Leiden University
- Date
- 2024-05-21
- ISBN (print)
- 9789464961225