Master Computer Science



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


Thesis details

Title A formal characterisation of the Delilah system
Student C.E. v.d. Woestijne
Programme Master Computer Science
Year 1999

Citation details

C.E. v.d. Woestijne, A formal characterisation of the Delilah system, Thesis Master Computer Science, Leiden University, 1999.