Group by: Item Type | No Grouping
Number of items: 1.
Pietrantuono, Roberto (2009) RELIABILITY-ORIENTED VERIFICATION OF MISSION-CRITICAL SOFTWARE SYSTEMS. [Tesi di dottorato] (Unpublished)
Pietrantuono, Roberto (2009) RELIABILITY-ORIENTED VERIFICATION OF MISSION-CRITICAL SOFTWARE SYSTEMS. [Tesi di dottorato] (Unpublished)