A Proof Slicing Framework for Program Verification

Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin. A Proof Slicing Framework for Program Verification. In Lindsay Groves, Jing Sun 0002, editors, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Volume 8144 of Lecture Notes in Computer Science, pages 53-69, Springer, 2013. [doi]

@inproceedings{LeGVC13,
  title = {A Proof Slicing Framework for Program Verification},
  author = {Ton Chanh Le and Cristian Gherghina and Razvan Voicu and Wei-Ngan Chin},
  year = {2013},
  doi = {10.1007/978-3-642-41202-8_5},
  url = {http://dx.doi.org/10.1007/978-3-642-41202-8_5},
  researchr = {https://researchr.org/publication/LeGVC13},
  cites = {0},
  citedby = {0},
  pages = {53-69},
  booktitle = {Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings},
  editor = {Lindsay Groves and Jing Sun 0002},
  volume = {8144},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-41201-1},
}