Difference between revisions of "MatchC: A Matching Logic Reachability Verifier Using the K Framework"

From FSL
Jump to: navigation, search
(Created page with "<pubbib id='stefanescu-k-2011' template='PubDefaultWithAbstractAndTitle' draft/>")
 
Line 1: Line 1:
<pubbib id='stefanescu-k-2011' template='PubDefaultWithAbstractAndTitle' draft/>
+
<pubbib id='stefanescu-k-2011' template='PubDefaultWithAbstractAndTitle' />

Revision as of 18:20, 19 January 2016

Personal tools
Namespaces

Variants
Actions
Navigation