Composing model programs for analysis

Public

Published in The Journal of Logic and Algebraic Programming • Jul 16, 2010

Authors:

Margus Veanes

,

Jonathan Jacky

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!