Abstract Behavioral Specification: unifying modeling and programming
- N. Bezirgiannis
- Tuesday 17 April 2018
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