Event Beta

International Conference on Formal Methods and Models for System Design

Name: International Conference on Formal Methods and Models for System Design
Start: 2022-10-13
End: 2022-10-14
Location: Shanghai

MEMOCODE 2022

Date: 2022-10-13/14
Place: Shanghai, People's Republic of China on the map
Series: International Conference on Formal Methods and Models for System Design
Edition: 20
Attendance: hybrid
Status: as scheduled
Website: https://memocode2022.github.io/index.html
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: formal methods, model checking, software verification
Identifier: https://id.confref.org/event/e11hn6s

Proceedings

Title	DOI	Year	Record
20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022	10.1109/memocode57689.2022	2022	dblp

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

ConfIDent	`https://id.confref.org/data/confident/33190` · page
dblp	`https://dblp.org/db/conf/memocode/memocode2022`

International Conference on Formal Methods and Models for System Design. confref identifier e11hn6s. https://id.confref.org/event/e11hn6s

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