@article{cjk2006,
  title = "Verification of {SpecC} using Predicate Abstraction",
  author = "Clarke, Edmund and Jain, Himanshu and Kroening, Daniel",
  year = "2007",
  journal = "Formal Methods in System Design (FMSD)",
  month = "February",
  number = "1",
  pages = "5--28",
  volume = "30",
}