@proceedings{memocode:2005,
  title = {3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings},
  year = {2005},
  tags = {design},
  researchr = {https://researchr.org/publication/memocode%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings},
  conference = {memocode},
  publisher = {IEEE},
}