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 BibTeX
- 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 BibTeX
- ISoLA 2007 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 BibTeX
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 BibTeX
Copyright © Sat May 16 23:26:00 2009
by Michael Ley (ley@uni-trier.de)