Function Summarization-Based Bounded Model Checking
Published • Jan 1, 2015
Authors:,,
Ondřej Šerý
Grigory Fedyukovich
Natasha Sharygina
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!
No comments yet
Be the first to share your thoughts!