Event Beta

16th International Conference on Software Engineering and Formal Methods

Name: 16th International Conference on Software Engineering and Formal Methods
Start: 2018-06-27
End: 2018-06-29
Location: Toulouse

SEFM 2018SEFM

Date: 2018-06-27/29
Place: Toulouse, France on the map
Series: International Conference on Software Engineering and Formal Methods
Edition: 16
Attendance: on site
Status: as scheduled
Website: https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, software engineering
Identifier: https://id.confref.org/event/e11s1h6

Proceedings

Title	DOI	Year	Record
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings Lecture Notes in Computer Science 10886	10.1007/978-3-319-92970-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/sefm2018` · page
ConfIDent	`https://id.confref.org/data/confident/13654` · page
dblp	`https://dblp.org/db/conf/sefm/sefm2018`

16th International Conference on Software Engineering and Formal Methods. confref identifier e11s1h6. https://id.confref.org/event/e11s1h6

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