View source for Reachability Logic

<private>== Submitted to LMCS ==
<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/>
<pubbib id='rosu-stefanescu-ciobaca-moore-2013-lics' template='PubDefaultWithAbstractAndTitle' draft/>
<private>== Submitted to LICS'13 ==
<pubbib id='rosu-stefanescu-ciobaca-moore-2013-lics-submission' template='PubDefaultWithAbstractAndTitle' draft/>
== Submitted to ESOP'13 ==
<pubbib id='rosu-stefanescu-ciobaca-moore-2013-esop-submission' template='PubDefaultWithAbstractAndTitle' draft/>
== Submitted to POPL'13 ==
<pubbib id='rosu-stefanescu-ciobaca-moore-2013-popl-submission' template='PubDefaultWithAbstractAndTitle' draft/></private>
== Technical Report ==
<pubbib id='rosu-stefanescu-ciobaca-moore-2012-tr' template='PubDefaultWithAbstractAndTitle' draft/>