Functional Refinement: A Generic Methodology for Managing ESL Abstractions.

Syed Saif Abrar, Aravinda Thimmapuram

Browse the full VLSID paper archive.