文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
PAULO A. S. VELOSO
发表
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
PAULO A. S. VELOSO, P. Veloso, 1993, Log. J. IGPL.