B
📝 描述
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
⭐ 用户评价
暂无评价