Event Beta

19th International Conference on Software Engineering and Formal Methods

Name: 19th International Conference on Software Engineering and Formal Methods
Start: 2021-12-06
End: 2021-12-10

SEFM 2021

Date: 2021-12-06/10
Series: International Conference on Software Engineering and Formal Methods
Edition: 19
Attendance: online
Status: as scheduled
Website: https://sefm-conference.github.io/2021/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: formal methods, software engineering
Identifier: https://id.confref.org/event/e11s1pw

Proceedings

Title	DOI	Year	Record
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings Lecture Notes in Computer Science 13085	10.1007/978-3-030-92124-8	2021	dblp

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

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

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

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