Heuristics for model checking Java programs

Public

Published in International Journal on Software Tools for Technology Transfer • Aug 1, 2004

Authors:

Alex Groce

,

Willem Visser

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!