Difference between revisions of "Mining Parametric Specifications"

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

Revision as of 16:38, 7 December 2009





Personal tools
Namespaces

Variants
Actions
Navigation