Event Beta

International Symposium on Formal Methods

Name: International Symposium on Formal Methods
Start: 2003-09-08
End: 2003-09-14
Location: Pisa

FM 2003FME

Date: 2003-09-08/14
Place: Pisa, Italy on the map
Series: International Symposium on Formal Methods
Edition: 12
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/e103b37

Proceedings

Title	DOI	Year	Record
FME 2003: Formal Methods LNCS 2805	10.1007/b13229	2003	Springer
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings Lecture Notes in Computer Science 2805	10.1007/b13229	2003	dblp

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/fm2003`
ConfIDent	`https://id.confref.org/data/confident/31119` · page
dblp	`https://dblp.org/db/conf/fm/fme2003`
GND	`https://d-nb.info/gnd/10063572-6`

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

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