Event Beta

International Conference on Formal Methods and Models for System Design

Name: International Conference on Formal Methods and Models for System Design
Start: 2020-12-02
End: 2020-12-04
Location: Jaipur

MEMOCODE 2020

Date: 2020-12-02/04
Place: Jaipur, India on the map
Series: International Conference on Formal Methods and Models for System Design
Edition: 18
Attendance: on site
Status: as scheduled
Website: https://iitjammu.ac.in/conferences/memocode2020/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: formal methods, model checking, software verification
Identifier: https://id.confref.org/event/e11hn4x

Proceedings

Title	DOI	Year	Record
18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020	10.1109/memocode51338.2020	2020	dblp

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

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

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

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