Difference between revisions of "Mining Parametric Specifications"

From FSL
Jump to: navigation, search
(New page: <purge></purge> <private>==Submitted to POPL 2010==</private> <purge></purge> <pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'>< /pub>)
 
Line 1: Line 1:
 
<purge></purge>
 
<purge></purge>
<private>==Submitted to POPL 2010==</private>
+
==Submitted to POPL 2010==
 
<purge></purge>
 
<purge></purge>
 
<pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'>< /pub>
 
<pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'>< /pub>
 +
 +
==Submitted to PLDI 2010==
 +
<purge></purge>
 +
<pub id='chen-lee-rosu-2010-pldi' template='PubDefaultWithAbstractAndTitle'>< /pub>

Revision as of 23:25, 5 December 2009

Submitted to POPL 2010


Personal tools
Namespaces

Variants
Actions
Navigation