Model-Checking Software Using Precise Abstractions
Published in Lecture notes in computer science • Jan 1, 2008
NobleIDNI5P18W15R80S82
Authors:,
Marsha Chećhik
Arie Gurfinkel
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!