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

TitleAn Assertional Proof System for Multithreaded Java - Theory and Tool Support
StudentÁbrahám, Erika
ProgrammePhD Computer Science
Year2005
More information Thesis information

Citation details

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