Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
20 results · clear filters Sort: newest oldest name
- Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts - 13th International Symposium, ISoLA 2026, Kos, Greece, October 24-28, 2026, Proceedings, Part IIIComputer and information sciencese11e85f
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)Computer and information sciencess10a3sm
- Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part VComputer and information sciencese11e84h
- Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IIIComputer and information sciencese11e83k
- Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, ProceedingsComputer and information sciencese11e82n
- Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IIIComputer and information sciencese11e81q
- Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (ISOLA, ISoLA 2018)Computer and information sciencese10ev15
- International Symposium on Leveraging Applications of Formal Methods (ISoLA)Computer and information sciencese105bed
- International Symposium on Leveraging Applications of Formal Methods (ISoLA 2014, ISoLA)Computer and information sciencese105bdf
- Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIComputer and information sciencese11e7zv
- Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected PapersComputer and information sciencese11e80s
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)Computer and information sciencese105bch
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)Computer and information sciencese105bbk
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010, ISoLA)Computer and information sciencese105ban
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)Computer and information sciencese105b9q
- ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 (ISOLA)Computer and information sciencese11e7yx
- Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 (ISOLA)Computer and information sciencese11e7xz
- Leveraging Applications of Formal Methods (ISOLA)Computer and information sciencese12mdqq
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2004, ISoLA)Computer and information sciencese105b8s
- International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedingsComputer and information sciencese11e7w1