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

TitleA formal characterisation of the Delilah system
StudentC.E. v.d. Woestijne
ProgrammeMaster Computer Science
Year1999

Citation details

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