论文信息 - Semantics, Specification Logic, and Hoare Logic of Exact Real Computation - 字舞流文

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation

M. Ziegler | N. Preining | Pieter Collins | F. Brauße | SunYoung Kim | Gyesik Lee | Sewon Park | N. Muller | E. Neumann | Michal Konevcn'y | P. Collins