Report - Calendars as Types - uni-muenchen.de · Calendars as Types Data Modeling, Constraint Reasoning, and Type Checking with Calendars Stephanie Spranger Dissertation an der Fakult¨at

Please pass captcha verification before submit form