Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

Tiziana Margaria

$59.29

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... October 8-11, 2014, Proceedings, Part II

Tiziana Margaria

$58.92

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... October 8-11, 2014, Proceedings, Part I

Tiziana Margaria

$54.99

Formal Methods for Industrial Critical Systems: A Survey of Applications

Tiziana Margaria

$96.72

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Lecture Notes in Computer Science)

Tiziana Margaria

$59.52

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers (Lecture Notes in Computer Science)

Tiziana Margaria

$59.52

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Tiziana Margaria

$59.84

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Genova, Italy, April 2-6, 2001 Proceedings

Tiziana Margaria

$109.99