|
|
| 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/>
| + | |
