M
📝 描述
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
⭐ 用户评价
暂无评价