book

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

Published in 2012 in Washington, DC by IEEE Computer Society

More about

Reference details