Liquid Haskell: Usable Language-Based Program Verification

Time and Location:

March 05, 2018 at 2PM; 60 Fifth Avenue, Room 150

Speaker:

Niki Vazou, University of Maryland