TY - 计算机科学 A1 - 高健博, 张家硕, 李青山, 陈钟 T1 - RegLang:一种面向监管的智能合约编程语言 Y1 - 2022-06-16 JF - 计算机科学 JO - 计算机科学 SP - 462 EP - 468 VL - 49 IS - 6A UR - https://www.jsjkx.com N1 - 10.11896/jsjkx.210700016 ER -