Event Beta

International Conference on Formal Engineering Methods

Name: International Conference on Formal Engineering Methods
Start: 2018-11-12
End: 2018-11-16
Location: Gold Coast

ICFEM 2018ICFEM

Date: 2018-11-12/16
Place: Gold Coast, Australia on the map
Series: International Conference on Formal Engineering Methods
Edition: 20
Attendance: on site
Status: as scheduled
Website: https://formal-analysis.com/icfem/2018/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, software engineering
Identifier: https://id.confref.org/event/e10e9w0

Proceedings

Title	DOI	Year	Record
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings Lecture Notes in Computer Science 11232	10.1007/978-3-030-02450-5	2018	dblp

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

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

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

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