Logo eprints

Browse by Advisor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2013 | 2009
Number of items: 2.


Kauer, Anne Kersten (2013) Formal specification, verification and analysis of long-running transactions. Advisor: Bruni, Dr. Roberto. Coadvisor: Ferreira, Dr. Carla . pp. 215. [IMT PhD Thesis]


Mezzina, Leonardo Gaetano (2009) Typing Services. Advisor: Bruni, Dr. Roberto. pp. 227. [IMT PhD Thesis]

This list was generated on Fri Jul 20 20:01:37 2018 CEST.