Browse by Supervisors

[up] Up a level
Group by: Creators | Date | No Grouping
Jump to: 2014 | 2013 | 2009
Number of items: 3.

2014

Capper, John (2014) Semantic methods for functional hybrid modelling. PhD thesis, University of Nottingham.

2013

Hu, Liyang (2013) Compiling concurrency correctly: verifying software transactional memory. PhD thesis, University of Nottingham.

2009

Jaskelioff, Mauro Javier (2009) Lifting of operations in modular monadic semantics. PhD thesis, University of Nottingham.

This list was generated on Thu Dec 26 23:49:21 2024 UTC.