Implication-based approximating bounded model checking
Published in Fundamentals of Software Engineering • Apr 17, 2007
NobleIDNI4P44W39R23S40
Authors:,,
Zhenyu Chen
Zhi-Hong Tao
Baowen Xu
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!