Communications of the ACM | April 2015 , Vol 58(4): pp. 38-41
论文与出版物
Discusses informal specification. It is an expanded version of [179].
关注我们:
分享此页: