ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Il servizio di assistenza via email è sospeso da venerdì 31 Luglio alle 13:30. Le richieste verranno processate regolarmente da lunedì 24 Agosto.

Risultati da 1 a 1 di 1

Titolo	Corso di studi	Anno di discussione	Relatore
The Prosper run-time monitor: design and formal verification	INFORMATICA	2014	Baiardi, Fabrizio Corradini, Andrea Guanciale, Roberto