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.

2013

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]

2009

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

This list was generated on Tue Mar 19 10:01:22 2024 CET.