Tiziana Margaria

Tiziana Margaria is the author of books such as Leveraging Applications Of Formal Methods, Verification and Validation.

Books by Tiziana Margaria

Leveraging Applications Of Formal Methods, Verification and Validation

Leveraging Applications Of Formal Methods, Verification and Validation

No cover image available

Tools and Algorithms For the Construction and Analysis Of Systems

No cover image available

Services and Visualization