@misc{indiciae4c9690c6e1dd,
  title = {Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)},
  author = {Felipe R. M. Sousa and Lucas C. Cordeiro and Eddie B. de Lima Filho},
  year = {2015},
  url = {https://arxiv.org/abs/1509.01682},
  note = {Source identifier: 1509.01682}
}