Electronic security; Logic; Computer programming; Communications protocols; Semantics; Symposia; Coding;
机译:在具有依赖类型的重写逻辑扩展中表示MSR加密协议规范语言
机译:类型化规范语言推理的两级逻辑方法
机译:使用量子硬件描述语言规范光子电路(会议论文)
机译:重写逻辑语义:从语言规范到形式分析工具
机译:基于抽象数据类型模型扩展的实时系统的正式规范
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:在具有相关类型的重写逻辑扩展中表示MSR加密协议规范语言