Event Beta

Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025.

Name: Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025.
Location: Iași

Date: 2025
Place: Iași, Romania on the map
Series: Symposium on Working Formal Methods (FROM)
Edition: 9
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e1211pc

Proceedings

Title	DOI	Year	Record
Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025. EPTCS 427	10.4204/eptcs.427	2025	dblp

Sources

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

dblp	`https://dblp.org/db/series/eptcs/eptcs427`

Cite

Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025.. confref identifier e1211pc. https://id.confref.org/event/e1211pc

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.