Difference between revisions of "From Hoare Logic to Matching Logic Reachability"

From FSL
Jump to: navigation, search
(Redirected page to Reachability Logic)
 
Line 1: Line 1:
== FM'12 ==
+
#REDIRECT [[Reachability Logic]]
<pubbib id='rosu-stefanescu-2012-fm' template='PubDefaultWithAbstractAndTitle'/>
+
<private>
+
== Submitted to FM'12 ==
+
<pub id='rosu-stefanescu-2012-fm-submission' template='PubDefaultWithAbstractAndTitle'/>
+
== Technical Reports ==
+
<pub id='rosu-stefanescu-2012-tr-f' template='PubDefaultWithAbstractAndTitle' draft/>
+
<pub id='rosu-stefanescu-2012-tr-b' template='PubDefaultWithAbstractAndTitle'/>
+
</private>
+

Latest revision as of 16:19, 12 August 2017

  1. REDIRECT Reachability Logic
Personal tools
Namespaces

Variants
Actions
Navigation