How to make ad hoc proof automation less ad hoc

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