Title of article
Symbolic verification method for definite iteration over data structures
Author/Authors
V. A. Nepomniaschy، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1999
Pages
7
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