PhD Computer Science

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

Thesis details

TitleSoftware Development by Abstract Behavioural Specification
StudentSerbanescu, Vlad
ProgrammePhD Computer Science
More information Thesis information

Citation details

Serbanescu, Vlad, Software Development by Abstract Behavioural Specification, Thesis PhD Computer Science, LIACS, Leiden University, 2020.