Bibtex:

@article{BJKLP05,
  AUTHOR    = { Beyer, Sven
                and Jacobi, Christian
                and Kroening, Daniel
                and Leinenbach, Dirk
                and Paul, Wolfgang J. },
  TITLE     = { Putting it all together - Formal Verification of the {VAMP} },
  YEAR      = { 2006 },
  PUBLISHER = { Springer },
  PAGES     = { 411--430 },
  JOURNAL   = { Software Tools for Technology Transfer (STTT), Special Section on Recent Advances in Hardware Verification },
  VOLUME    = { 8 },
  ISSUE     = { 4--5 },
  MONTH     = { August },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.