暂无分享,去创建一个
Jerome A. Feldman | J. Feldman
[1] Zohar Manna,et al. Properties of Programs and the First-Order Predicate Calculus , 1969, JACM.