مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Unifying wp and wlp

Author/Authors :

Carroll Morgan، نويسنده , , Annabelle McIver، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1996

Pages :

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 :