Leveraging Applications of Formal Methods

ISoLA 2008: Porto Sani, Greece

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. Communications in Computer and Information Science 17 Springer 2008, ISBN 978-3-540-88478-1
Contents

- ISoLA 2008 Home Page

ISoLA 2007: Poitiers-Futuroscope, France

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. Revue des Nouvelles Technologies de l'Information RNTI-SM-1 Cépaduès-Éditions 2007, ISBN 978-2-85428-814-8
Contents

- ISoLA 2007 Home Page

ISoLA 2006: Paphos, Cyprus

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

ISoLA 2005: Columbia, MD, USA

Proceedings: STTT 11(3) - ISoLA 2005 Home Page

ISoLA 2004: Paphos, Cyprus

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. Lecture Notes in Computer Science 4313 Springer 2006, 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. Technical Report TR-2004-6 Department of Computer Science, University of Cyprus 2004
Contents