Event Beta

16th International Symposium on Formal Methods

Name: 16th International Symposium on Formal Methods
Start: 2009-11-02
End: 2009-11-06
Location: Eindhoven

FM 2009FM

Date: 2009-11-02/06
Place: Eindhoven, Netherlands on the map
Series: International Symposium on Formal Methods
Edition: 16
Attendance: on site
Status: as scheduled
Website: https://www.fmeurope.org/conferences/fm2009/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods
Identifier: https://id.confref.org/event/e103b7z

Proceedings

Title	DOI	Year	Record
FM 2009: Formal Methods LNCS 5850	10.1007/978-3-642-05089-3	2009	Springer
FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Lecture Notes in Computer Science 5850	10.1007/978-3-642-05089-3	2009	dblp

edition number: confident: 16; springer-lod: 2
start date: confident: 2009-11-02; springer-lod: 2009-11-02; confref-portal: 2009-01-01

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/fm2009`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/fm2009` · page
ConfIDent	`https://id.confref.org/data/confident/31115` · page
dblp	`https://dblp.org/db/conf/fm/fm2009`
GND	`https://d-nb.info/gnd/6105384-3`

16th International Symposium on Formal Methods. confref identifier e103b7z. https://id.confref.org/event/e103b7z

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