Constraint-based deductive model checking

Public

Top 25% journal in Computer Science

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

Authors:

Giorgio Delzanno

,

Andreas Podelski

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!