Event Beta

18th International Symposium on Formal Methods

Name: 18th International Symposium on Formal Methods
Start: 2012-08-27
End: 2012-08-31
Location: Paris

FM 2012FM

Date: 2012-08-27/31
Place: Paris, France on the map
Series: International Symposium on Formal Methods
Edition: 18
Attendance: on site
Status: as scheduled
Website: http://fm2012.cnam.fr/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods
Identifier: https://id.confref.org/event/e103b9v

Proceedings

Title	DOI	Year	Record
FM 2012: Formal Methods LNCS 7436	10.1007/978-3-642-32759-9	2012	Springer
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Lecture Notes in Computer Science 7436	10.1007/978-3-642-32759-9	2012	dblp

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

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

18th International Symposium on Formal Methods. confref identifier e103b9v. https://id.confref.org/event/e103b9v

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