How to make ad hoc proof automation less ad hoc

Article CLOSED
Georges Gonthier ; Beta Ziliani ; Aleksandar Nanevski ; Derek Dreyer (2011)
Share - Bookmark