3 ms·Oregon programming languages summer school: Logic, Compilation, Verification2 points by gtani 14y ago