Dependent Types for Real-Time Constraints


Date
Location
Vancouver, Canada
Links