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

[–] 

Venue statistics

records by year

frequent authors

ISoLA 2024: Crete, Greece

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