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