Abstract Behavioral Specification: unifying modeling and programming
- N. Bezirgiannis
- 17 April 2018
- Academy Building
2311 GJ Leiden
- Prof. F.S. de Boer
PhD defences are free; you do not have to register.
PhD dissertations by Leiden PhD students are available digitally after the defence through the Leiden Repository, that offers free access to these PhD dissertations. Please note that in some cases a dissertation may be under embargo temporarily and access to its full-text version will only be granted later.
Maarten Muns, Scientific Communications Adviser, Leiden University
+31 71 527 3282