Persistent URL of this record https://hdl.handle.net/1887/584
Documents
-
- Download
- Full text (ps file)
- open access
In Collections
This item can be found in the following collections:
An Assertional Proof System for Multithreaded Java - Theory and Tool Support
- All authors
- Abraham, E.
- Supervisor
- Kok, J.N.; Roever, W.-P. de
- Co-supervisor
- Boer, F.S. de; Steffen, M.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Faculty of Science , Leiden University
- Date
- 2005-01-20
- Title of host publication
- IPA Dissertation Series
- ISBN
- 9090189084
Publication Series
- Name
- 2005-01
Funding
- Sponsorship
- IST project Omega (IST-2001-33522) NWO/DFG project Mobi-J (RO 1122/9-1, RO 1122/9-2)