Event Beta

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, Proceedings

Name: 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, Proceedings
Location: Rhodes

Date: 2021
Place: Rhodes, Greece on the map
Series: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Edition: 10
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11e82n

Proceedings

Title	DOI	Year	Record
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, Proceedings Lecture Notes in Computer Science 13036	10.1007/978-3-030-89159-6	2021	dblp

Sources

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

dblp	`https://dblp.org/db/conf/isola/isola2021`

Cite

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, Proceedings. confref identifier e11e82n. https://id.confref.org/event/e11e82n

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.