Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Venue statistics

records by year

document access 

    frequent authors

      ISoLA 2022: Rhodes, Greece

      ISoLA 2021: Rhodes, Greece

      ISoLA 2020: Rhodes, Greece

      ISoLA 2018: Limassol, Cyprus

      ISoLA 2016: Corfu, Greece

      ISoLA 2014: Corfu, Greece

      ISoLA 2012: Heraklion, Crete, Greece

      ISoLA Workshops 2011: Vienna, Austria

      ISoLA 2010: Heraklion, Crete, Greece

      ISoLA 2008: Porto Sani, Greece

      ISoLA 2008 Home Page

      ISoLA 2007: Poitiers-Futuroscope, France

      ISoLA 2007 Home Page

      ISoLA 2006: Paphos, Cyprus

      ISoLA 2005: Columbia, MD, USA

      Proceedings: STTT 11(3)

      ISoLA 2004: Paphos, Cyprus

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics