DMCA

How to make ad hoc proof automation less ad hoc (2011)

by Georges Gonthier , Beta Ziliani , Aleksandar Nanevski , Derek Dreyer
Venue:In ICFP
Citations:27 - 6 self