Event Beta

International Conference on Formal Engineering Methods

Name: International Conference on Formal Engineering Methods
Start: 2019-11-05
End: 2019-11-09
Location: Shenzhen

ICFEM 2019ICFEM

Date: 2019-11-05/09
Place: Shenzhen, People's Republic of China on the map
Series: International Conference on Formal Engineering Methods
Edition: 21
Attendance: on site
Status: as scheduled
Website: https://csse.szu.edu.cn/icfem2019/symposium.html
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, software engineering
Identifier: https://id.confref.org/event/e10e9v2

Proceedings

Title	DOI	Year	Record
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings Lecture Notes in Computer Science 11852	10.1007/978-3-030-32409-4	2019	dblp

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

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/icfem2019` · page
ConfIDent	`https://id.confref.org/data/confident/38697` · page
Wikidata	`http://www.wikidata.org/entity/Q106243727`
dblp	`https://dblp.org/db/conf/icfem/icfem2019`
GND	`https://d-nb.info/gnd/1200053699`

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

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