Automatic Error Localization for Software Using Deductive Verification
Published in Haifa Verification Conference • Sep 16, 2014
NobleIDNI7P20W16R51S76
Authors:,,
Robert Könighofer
Ronald Toegl
R. Bloem
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!