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
Journal title
Information Processing Letters
Record number
128528
Link To Document