Event Beta

International Conference on Formal Engineering Methods

Name: International Conference on Formal Engineering Methods
Start: 2010-11-17
End: 2010-11-19
Location: Shanghai

ICFEM 2010ICFEM

Date: 2010-11-17/19
Place: Shanghai, People's Republic of China on the map
Series: International Conference on Formal Engineering Methods
Edition: 12
Attendance: on site
Status: as scheduled
Website: http://www.sei.ecnu.edu.cn/icfem2010/main.psp
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, software engineering
Identifier: https://id.confref.org/event/e104bfd

Proceedings

Title	DOI	Year	Record
Formal Methods and Software Engineering LNCS 6447	10.1007/978-3-642-16901-4	2010	Springer
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings Lecture Notes in Computer Science 6447	10.1007/978-3-642-16901-4	2010	dblp

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/icfem2010`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/icfem2010` · page
ConfIDent	`https://id.confref.org/data/confident/38673` · page
dblp	`https://dblp.org/db/conf/icfem/icfem2010`

International Conference on Formal Engineering Methods. confref identifier e104bfd. https://id.confref.org/event/e104bfd

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