مرکز منطقه ای اطلاع رساني علوم و فناوري - Symbolic verification method for definite iteration over data structures

Title of article :

Symbolic verification method for definite iteration over data structures

Author/Authors :

V. A. Nepomniaschy، نويسنده ,

Issue Information :

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

Pages :

From page :

207

To page :

213

Keywords :

Program correctnesl" , Verification methmiי , Proof lUte , Definite iteration

Journal title :

Information Processing Letters

Serial Year :

1999

Journal title :

Information Processing Letters

Record number :

129041

Link To Document :