Difference between revisions of "Mining Parametric Specifications"

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

Revision as of 22:32, 1 February 2010



Personal tools
Namespaces

Variants
Actions
Navigation