Difference between revisions of "Reachability Logic in K"

From FSL
Jump to: navigation, search
(Created page with "<private>== Submitted to ESOP'14 == <pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2014-esop-submission' template='PubDefaultWithAbstractAndTitle'/><private>")
 
Line 1: Line 1:
 
<private>== Submitted to ESOP'14 ==
 
<private>== Submitted to ESOP'14 ==
 
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2014-esop-submission' template='PubDefaultWithAbstractAndTitle'/><private>
 
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2014-esop-submission' template='PubDefaultWithAbstractAndTitle'/><private>
 +
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-tr' template='PubDefaultWithAbstractAndTitle'/>

Revision as of 02:19, 22 November 2013

Personal tools
Namespaces

Variants
Actions
Navigation