book

Proceedings of the Eleventh ACMIEEE International Conference on Formal Methods and Models for Codesign

Published in 2013 in Washington, DC by IEEE Computer Society

More about

Reference details