inproceedings{JK00,
  AUTHOR    = { Jacobi, Christian and Kroening, Daniel },
  TITLE     = { Proving the Correctness of a Complete Microprocessor },
  BOOKTITLE = { Informatik 2000, Proc. of the 30. Jahrestagung der Gesellschaft fuer Informatik },
  YEAR      = { 2000 },
  PUBLISHER = { Springer-Verlag },
  ISBN      = { 3-540-67880-8 },
  SERIES    = { Informatik aktuell },
  EDITOR    = { Mehlhorn, Kurt and Snelting, Gregor },
}