UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Author is "Zunino, Roberto"

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

Book

Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi and Zunino, Roberto (2008) Hard life with weak binders. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bartoletti, Massimo and Zunino, Roberto (2008) LocUsT: a tool for checking usage policies. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Zunino, Roberto and Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi (2008) Model checking usage policies. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Wed Nov 13 13:50:21 2019 CET.