Event Beta

International Symposium on Leveraging Applications of Formal Methods

Name: International Symposium on Leveraging Applications of Formal Methods
Start: 2014-10-08
End: 2014-10-11
Location: Corfu

ISoLA 2014ISoLA

Date: 2014-10-08/11
Place: Corfu, Greece on the map
Series: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Edition: 6
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e105bdf

Proceedings

Title	DOI	Year	Record
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications LNCS 8803	10.1007/978-3-662-45231-8	2014	Springer
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change LNCS 8802	10.1007/978-3-662-45234-9	2014	Springer
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change	10.1007/978-3-662-45234-9	2014	Wikidata
Leveraging Applications of Formal Methods, Verification, and Validation CCIS 683	10.1007/978-3-319-51641-7	2016	Springer

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/conference/isola2014`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/isola2014` · page
Wikidata	`http://www.wikidata.org/entity/Q106087671`
GND	`https://d-nb.info/gnd/1060736543`

International Symposium on Leveraging Applications of Formal Methods. confref identifier e105bdf. https://id.confref.org/event/e105bdf

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.