An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.评价结果

评估详情