Tiziana Margaria-Steffen

1 book • 1 series

Oct 14, 2008
Cover of Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation (Communications in Computer and Information Science, #17)