Difference between revisions of "Reachability Logic in K"

From FSL
Jump to: navigation, search
(Redirected page to Reachability Logic)
 
Line 1: Line 1:
<private>== Submitted to LMCS ==
+
#REDIRECT [[Reachability Logic]]
<pubbib id='stefanescu-ciobaca-mereuta-moore-serbanuta-rosu-2015-lmcs-submission' template='PubDefaultWithAbstractAndTitle'/></private>
+
== RTA'14 ==
+
<pubbib id='stefanescu-ciobaca-mereuta-moore-serbanuta-rosu-2014-rta' template='PubDefaultWithAbstractAndTitle'/>
+
<private>== Submitted to RTA'14 ==
+
<pubbib id='stefanescu-ciobaca-mereuta-moore-serbanuta-rosu-2014-rta-submission' template='PubDefaultWithAbstractAndTitle'/>
+
== Submitted to ESOP'14 ==
+
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2014-esop-submission' template='PubDefaultWithAbstractAndTitle'/></private>
+
== Technical Report ==
+
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-tr' template='PubDefaultWithAbstractAndTitle' draft/>
+

Latest revision as of 16:04, 12 August 2017

  1. REDIRECT Reachability Logic
Personal tools
Namespaces

Variants
Actions
Navigation