The top documents tagged [logical frameworks securityclf]
CLF: A Concurrent Logical Framework
82 views