Mining specifications (2002)

by G Ammons, R Bodík, J R Larus
Venue:In POPL