Bibtex:

@article{cjk2006,
  AUTHOR    = { Clarke, Edmund
                and Jain, Himanshu
                and Kroening, Daniel },
  TITLE     = { Verification of {SpecC} using Predicate Abstraction },
  NOTE      = { To appear },
  YEAR      = { 2006 },
  JOURNAL   = { Formal Methods in System Design (FMSD) },
}

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