Static Program Transformations for Efficient Software Model Checking
Published • Apr 7, 2008
NobleIDNI0P19W69R96S36
Authors:,
Shobha Vasudevan
Jacob A. Abraham
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!