Formal Methods for Computer System Design and Analysis

Dublin Core

Title

Formal Methods for Computer System Design and Analysis

Creator

Diego Latella

Publisher

SEFM

Date

2010