Event Beta

International Conference on Formal Methods and Models for Codesign

Name: International Conference on Formal Methods and Models for Codesign
Start: 2005-07-11
End: 2005-07-14
Location: Verona

MEMOCODE 2005MEMOCODE

Date: 2005-07-11/14
Place: Verona, Italy on the map
Series: International Conference on Formal Methods and Models for System Design
Edition: 3
Attendance: on site
Status: as scheduled
Website: http://memocode.irisa.fr/2005/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, model checking, software verification
Identifier: https://id.confref.org/event/e11hmnv

Proceedings

Title	DOI	Year	Record
3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings		2005	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/memocode2005` · page
ConfIDent	`https://id.confref.org/data/confident/33224` · page
dblp	`https://dblp.org/db/conf/memocode/memocode2005`

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

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