2005 Third ACM/IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '05, July 11-14, 2005, verona, Italy

MLA

ACM/IEEE International Conference on Formal Methods and Models for Co-Design and ACM Digital Library. 2005 Third ACM/IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '05, July 11-14, 2005, verona, Italy. [Place of publication not identified] IEEE 2005

APA

ACM/IEEE International Conference on Formal Methods and Models for Co-Design & ACM Digital Library. (2005). 2005 Third ACM/IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '05, July 11-14, 2005, verona, Italy. [Place of publication not identified] IEEE.

Chicago

ACM/IEEE International Conference on Formal Methods and Models for Co-Design and ACM Digital Library. 2005 Third ACM/IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '05, July 11-14, 2005, verona, Italy. [Place of publication not identified] IEEE 2005