Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
12 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
- 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
- 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 2010, ISoLA)Computer and information sciencese105ban
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)Computer and information sciencese105b9q
As JSON: https://labs.confref.org/api/search?series=s10a3sm&country=GR