论文信息 - A Characterization of Weakest Preconditions - 字舞流文

A Characterization of Weakest Preconditions

Mitchell Wand | M. Wand

[1] G. Markowsky. Chain-complete posets and directed sets with applications , 1976 .