@inproceedings{cjk2004,
  title = "Verification of {SpecC} and {Verilog} using Predicate Abstraction",
  author = "Jain, Himanshu and Clarke, Edmund and Kroening, Daniel",
  year = "2004",
  booktitle = "Proceedings of MEMOCODE 2004",
  isbn = "0-7803-8509-8",
  pages = "7--16",
  publisher = "IEEE",
}