@misc{indiciaecc1758419996,
  title = {Software Model Checking via Large-Block Encoding},
  author = {Dirk Beyer and Alessandro Cimatti and Alberto Griggio and M. Erkan Keremoglu and Roberto Sebastiani},
  year = {2009},
  url = {https://arxiv.org/abs/0904.4709},
  note = {Source identifier: 0904.4709}
}