Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
9 results · clear filters Sort: newest oldest name
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)Computer and information sciencess10a3sm
- 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
As JSON: https://labs.confref.org/api/search?series=s10a3sm&from=2010&to=2019