Syntax-directed model checking of sequential programs

Public

Published in The Journal of Logic and Algebraic Programming • Jul 1, 2002

Authors:

Karen Yorav

,

Orna Grümberg

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!