Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
6 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
As JSON: https://labs.confref.org/api/search?series=s10a3sm&from=2020&to=2029