Sciweavers

Share
APLAS
2007
ACM

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification

9 years 5 months ago
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
Paritosh Shroff, Christian Skalka, Scott F. Smith
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where APLAS
Authors Paritosh Shroff, Christian Skalka, Scott F. Smith
Comments (0)
books