Contracts; Semantics; Tools; Virtual machining; Bitcoin;
机译:Ethereum虚拟机的安全强化
机译:KJS:JavaScript的完整形式语义
机译:使用形式概念分析来审核SNOMED CT的语义完整性。
机译:KEVM:Ethereum虚拟机的完整形式语义
机译:形式语义学在英日机器翻译中的应用研究
机译:Spark-MCA:用于评估SNOMED CT语义完整性的大规模详尽的形式概念分析
机译:Ethereum虚拟机的视觉仿真