Journal Title : MEMOCODE: Formal Methods and Models for Co-Design

Secondary Title :

Parent Database : ACM Digital Library(Association for Computing Machinery)

DOI :

ISSN :

ISBN :