Event Beta

International Conference on Formal Methods and Models for Codesign

Name: International Conference on Formal Methods and Models for Codesign
Start: 2011-07-11
End: 2011-07-13
Location: Cambridge

MEMOCODE 2011MEMOCODE

Date: 2011-07-11/13
Place: Cambridge, United Kingdom on the map
Series: International Conference on Formal Methods and Models for System Design
Edition: 9
Attendance: on site
Status: as scheduled
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, model checking, software verification
Identifier: https://id.confref.org/event/e11hmvf

Proceedings

Title	DOI	Year	Record
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011		2011	dblp

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

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

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/memocode2011` · page
ConfIDent	`https://id.confref.org/data/confident/33209` · page
dblp	`https://dblp.org/db/conf/memocode/memocode2011`

International Conference on Formal Methods and Models for Codesign. confref identifier e11hmvf. https://id.confref.org/event/e11hmvf

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