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
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 Tue Sep 26 20:01:33 2017 CEST.