Record number :
128528
Title of article :
Unifying wp and wlp
Author/Authors :
Carroll Morgan، نويسنده , , Annabelle McIver، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1996
Pages :
5
From page :
159
To page :
163
Keywords :
Egli-Milner order , Fonnal semantics , Program correctness , Weakest precondition , Weakest liberal precondition
Journal title :
Information Processing Letters
Serial Year :
1996
Link To Document :
بازگشت