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

From FSL
Jump to: navigation, search
(Redirected page to Reachability Logic)
 
Line 1: Line 1:
<pubbib id='stefanescu-2011-k' template='PubDefaultWithAbstractAndTitle' />
+
#REDIRECT [[Reachability Logic]]

Latest revision as of 16:22, 12 August 2017

  1. REDIRECT Reachability Logic
Personal tools
Namespaces

Variants
Actions
Navigation