Event Beta

20th International Conference on Software Engineering and Formal Methods

Name: 20th International Conference on Software Engineering and Formal Methods
Start: 2022-09-26
End: 2022-09-30
Location: Berlin

SEFM 2022

Date: 2022-09-26/30
Place: Berlin, Germany on the map
Series: International Conference on Software Engineering and Formal Methods
Edition: 20
Attendance: on site
Status: as scheduled
Website: https://sefm-conference.github.io/2022/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, software engineering
Identifier: https://id.confref.org/event/e11s1rr

Proceedings

Title	DOI	Year	Record
Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings Lecture Notes in Computer Science 13550	10.1007/978-3-031-17108-6	2022	dblp

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

ConfIDent	`https://id.confref.org/data/confident/42310` · page
dblp	`https://dblp.org/db/conf/sefm/sefm2022`

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

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