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]

Authors

Ton Chanh Le

This author has not been identified. Look up 'Ton Chanh Le' in Google

Cristian Gherghina

This author has not been identified. Look up 'Cristian Gherghina' in Google

Razvan Voicu

This author has not been identified. Look up 'Razvan Voicu' in Google

Wei-Ngan Chin

This author has not been identified. Look up 'Wei-Ngan Chin' in Google