JayHorn: A Framework for Verifying Java programs
Published in Lecture Notes in Computer Science • Jan 1, 2016
NobleIDNI9P01W67R35S90
Authors:,,
Temesghen Kahsai
Philipp Rümmer
Huascar Sanchez
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!