Event Beta

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 II

Name: 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 II
Location: Corfu

Date: 2014
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
Identifier: https://id.confref.org/event/e11e7zv

Proceedings

Title	DOI	Year	Record
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 II Lecture Notes in Computer Science 8803	10.1007/978-3-662-45231-8	2014	dblp
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I Lecture Notes in Computer Science 8802	10.1007/978-3-662-45234-9	2014	dblp

Sources

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

dblp	`https://dblp.org/db/conf/isola/isola2014-1` `https://dblp.org/db/conf/isola/isola2014-2`

Cite

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 II. confref identifier e11e7zv. https://id.confref.org/event/e11e7zv

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

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