Search Results - Margaria-Steffen, Tiziana, 1964-

Refine Results
  1. 1

    Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /

    Published 2006
    Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
  2. 2

    Leveraging applications of formal methods, verification and validation technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octobe...

    Published 2012
    Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
  3. 3

    Leveraging applications of formal methods, verification and validation applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15...

    Published 2012
    Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12

    Leveraging applications of formal methods, verification and validation Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...

    Published 2020
    Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
  13. 13
  14. 14
  15. 15

    Leveraging applications of formal methods, verification and validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octobe...

    Published 2021
    Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
  16. 16
  17. 17
  18. 18

    Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /

    Published 2006
    Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
    Electronic Conference Proceeding eBook
  19. 19
  20. 20
Search Tools: RSS Feed Save Search