Up a level |
Strygin, Maxim (2014). Semantics and logics for signals. University of Birmingham. Ph.D.
Rathnayake , Asiri (2015). Semantics, analysis and security of backtracking regular expression matchers. University of Birmingham. Ph.D.
Corcalciuc, Horia V. (2014). Taxonomies for software security. University of Birmingham. Ph.D.