PhD Computer Science



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


Thesis details

TitleAbstract Behavioral Specification: Unifying Modeling and Programming
StudentBezirgiannis, Nikolaos
ProgrammePhD Computer Science
Year2018
More information Thesis information

Citation details

Bezirgiannis, Nikolaos, Abstract Behavioral Specification: Unifying Modeling and Programming, Thesis PhD Computer Science, LIACS, Leiden University, 2018.