区块链 智能合约形式化设计与验证方法doi:T/CIE 130-2022
《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）是由北京航空航天大学牵头制定、云南省参与编制的。2022年4月，《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。编制单位 该标准联合北京科技大学、北京邮电大学、北京航空航天大学云南...