Leveraging Applications of Formal Methods

Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Springer 2012 Lecture Notes in Computer Science 7609 ISBN 978-3-642-34025-3 [ contents ]

Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Springer 2012 Lecture Notes in Computer Science 7610 ISBN 978-3-642-34031-4 [ contents ]

Tiziana Margaria, Bernhard Steffen (Eds.): 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 I. Springer 2010 Lecture Notes in Computer Science 6415 ISBN 978-3-642-16557-3 [ contents ]

Tiziana Margaria, Bernhard Steffen (Eds.): 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. Springer 2010 Lecture Notes in Computer Science 6416 ISBN 978-3-642-16560-3 [ contents ]

Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Springer 2008 Communications in Computer and Information Science 17 ISBN 978-3-540-88478-1 [ contents ]

Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels (Eds.): ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Cépaduès-Éditions 2007 Revue des Nouvelles Technologies de l'Information RNTI-SM-1 ISBN 978-2-85428-814-8 [ contents ]

Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. IEEE 2006 [ contents ]

Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Springer 2006 Lecture Notes in Computer Science 4313 ISBN 3-540-48928-2 [ contents ]

Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß (Eds.): International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Department of Computer Science, University of Cyprus 2004 Technical ReportTR-2004-6 [ contents ]