关于 weakest-precondition 的中文软件包

Cella Lang 语言基因程序逻辑:语言给出一个步骤(下一个配置,一个最终值,或者一个与它的原因有关的错误)和资源的分离代数;软件包给出最弱的前提条件Wp(显式的步入索引), soun