PhD Computer Science



The following thesis was written by a student in the 2005 class of the PhD Computer Science programme at Leiden University.


Thesis details

Title An Assertional Proof System for Multithreaded Java - Theory and Tool Support
Student Ábrahám, Erika
Programme PhD Computer Science
Year 2005
More information Thesis information

Citation details

Ábrahám, Erika, An Assertional Proof System for Multithreaded Java - Theory and Tool Support, Thesis PhD Computer Science, Leiden University, 2005.