@Misc{berg:elics02-vamp-talk,
  author =	{Christoph Berg},
  title =	{Formal Verification of the {VAMP} Microprocessor (Project Status)},
  year =	2002,
  month =	mar,
  note =	{Symposium on the Effectiveness of Logic in Computer Science (ELICS02), Max-Planck-Institut für Informatik},
  paper =	{../publications/#elics02-vamp},
  slides =	{../publications/2002/elics02-vamp-slides.ps.gz},
  bibtex =	{2002/elics02-vamp.bib},
}