Abstract
This paper presents an axiom for goto statements in terms of Dijkstra's weakest (liberal) precondition model. We give a detailed comparison of our axi......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
