audit; compliance; obligations;
机译:使用k(邀请的谈话)块语言的正式设计,实施和验证
机译:区块链语言的正式设计,实现和验证(特邀演讲)
机译:区块链语言的正式设计,实现和验证(特邀演讲)
机译:风味:用于法律规则的后验验证的正式语言
机译:连接系统描述语言与形式验证
机译:基于形式面向对象和面向属性的概念格的形式决策上下文中的规则获取
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:法律语言中嵌入逻辑的形式化表征