Table of Contents for: Eleventh ACM/IEEE International Conferen

 Staff view

You must be logged in to Tag Records

Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) : Portland, Oregon, USA, 18-20 October, 2013.

Book Cover
Published: Piscataway, NJ : IEEE, [2013]
Topics: Formal methods (Computer science) - Congresses.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


[Empty]

Table of Contents for: Eleventh ACM/IEEE International Conferen