Showing 1 - 2 results of 2, query time: 0.01s Refine Results
  1. 1
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
    by Margaria, Tiziana
    Published 2010
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search