Programming by multiset transformation 论文

1993Communications of the ACM引用 306
DOIPDF
Logic, programming, and type systemsFormal Methods in VerificationDistributed systems and fault tolerance
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Programming by multiset transformation · 相关事件

暂无数据