Italy) Memocode (3rd 2005 Verona

• Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design: Memocode'05