Audio of 5-12-17 CBMC talk

Michael Khalili