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, V.-N. (Vlad)
ProgrammePhD Computer Science
SupervisorsBoer, prof.dr. F.S. (Frank) de
dr. M.M. Jaghoori (copromotor)
More information Thesis information

Citation details

Serbanescu, V.-N. (Vlad), Software Development by Abstract Behavioural Specification, Thesis PhD Computer Science, LIACS, Leiden University, 2020.