Persistent URL of this record https://hdl.handle.net/1887/20325
Documents
-
- Download
- Title pages_Contents
- open access
-
- Download
- Part I: Chapter 2
- open access
- Full text at publishers site
-
- Download
- Part II: Chapter 3
- open access
- Full text at publishers site
-
- Download
- Part III: Chapter 4
- open access
- Full text at publishers site
-
- Download
- Part III: Chapter 5
- open access
- Full text at publishers site
-
- Download
- Appendices_Abstract
- open access
-
- Download
- Summary in Dutch
- open access
-
- Download
- Curriculum vitae_Bibliography
- open access
-
- Download
- Propositions
- open access
In Collections
This item can be found in the following collections:
Static analysis of unbounded structures in object-oriented programs
- All authors
- Grabe, I.
- Supervisor
- Boer, F.S. de; Steffen, M.
- Committee
- Broch Johnsen, E.; Arbab, F.; Kok, J.N.; Bonsangue, M.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Leiden Institute of Advanced Computer Science (LIACS) , Faculty of Science , Leiden University
- Date
- 2012-12-19
- Publisher
- Oisterwijk: Uitgeverij BOXPress
- ISBN
- 97890889115475
Juridical information
- Court
- LEI Universiteit Leiden
Funding
- Sponsorship
- The work in this thesis has been carried out at the Christian-Albrechts--Universität zu Kiel, the Centrum Wiskunde & Informatica (CWI), and the Universiteit Leiden. The research was partially funded by the EU-project IST- 33826 Credo: Modeling and analysis of evolutionary structures for distributed services; the EU-project FP7-231620 HATS: Highly Adaptable and Trustworthy Software using Formal Methods; and the German-Norwegian DAAD-NWO exchange project Avabi (Automated validation for behavioral interfaces of asynchronous active objects).