Record Beta
SEFM - International Conference on Software Engineering and Formal Methods
https://id.confref.org/data/confident/1989
This record is part of the confref series International Conference on Software Engineering and Formal Methods.
| rdf:type | cf:Category_Event_Series |
|---|---|
| rdfs:label | SEFM - International Conference on Software Engineering and Formal Methods |
| cf:Academic_Field | https://id.confref.org/data/confident/25698 |
| cf:Academic_Field | https://id.confref.org/data/confident/26040 |
| cf:Academic_Field | https://id.confref.org/data/confident/26775 |
| cf:Acronym | SEFM |
| cf:Creation_date | 2022-04-06T19:16:10 |
| cf:DBLP_Series_ID | sefm |
| cf:DOI | 10.25798/mv93-4v43 |
| cf:Display_Title | SEFM - International Conference on Software Engineering and Formal Methods |
| cf:Maintainer_Missing | true |
| cf:Modification_date | 2024-01-04T16:38:29 |
| cf:Title | International Conference on Software Engineering and Formal Methods |
| cf:WikiCFP_Series_ID | 2616 |
| cf:Wikidata_Series_ID | Q6049679 |
| cf:page | https://www.confident-conference.org/index.php/Event_Series:SEFM |
| cf:pageTitle | Event Series:SEFM |
| cr:discipline | formal methods (wd:Q1049183) |
| cr:discipline | computer science (wd:Q21198) |
| cr:discipline | software engineering (wd:Q80993) |
| cr:field | Mathematics (https://id.confref.org/data/oecd-fos/1.1) |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.