Event Beta

17th International Symposium on Formal Methods

Name: 17th International Symposium on Formal Methods
Start: 2011-06-20
End: 2011-06-24
Location: Limerick

FM 2011FM

Date: 2011-06-20/24
Place: Limerick, Ireland on the map
Series: International Symposium on Formal Methods
Edition: 17
Attendance: on site
Status: as scheduled
Website: https://www.fmeurope.org/conferences/fm2011/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods
Identifier: https://id.confref.org/event/e103b8x

Proceedings

Title	DOI	Year	Record
FM 2011: Formal Methods LNCS 6664	10.1007/978-3-642-21437-0	2011	Springer
FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings Lecture Notes in Computer Science 6664	10.1007/978-3-642-21437-0	2011	dblp

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

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

17th International Symposium on Formal Methods. confref identifier e103b8x. https://id.confref.org/event/e103b8x

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