Event Beta

International Symposium on Formal Methods

Name: International Symposium on Formal Methods
Start: 2002-07-22
End: 2002-07-24
Location: Copenhagen

FM 2002FME

Date: 2002-07-22/24
Place: Copenhagen, Denmark on the map
Series: International Symposium on Formal Methods
Edition: 11
Attendance: on site
Status: as scheduled
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science, formal methods, logic programming, software verification
Identifier: https://id.confref.org/event/e103b29

Proceedings

Title	DOI	Year	Record
FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings Lecture Notes in Computer Science 2391	10.1007/3-540-45614-7	2002	dblp
FME 2002:Formal Methods—Getting IT Right LNCS 2391	10.1007/3-540-45614-7	2002	Springer

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/fm2002`
ConfIDent	`https://id.confref.org/data/confident/31121` · page
dblp	`https://dblp.org/db/conf/fm/fme2002`
GND	`https://d-nb.info/gnd/10039951-4`

International Symposium on Formal Methods. confref identifier e103b29. https://id.confref.org/event/e103b29

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