Title of article

Constraint preservation through loops

Author/Authors

Borislav Nikolik، نويسنده ,

Issue Information

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

Pages

6

From page

143

To page

148

Keywords

Software Engineering , Program analysis , Constraint preservation , Dataflow testing , Arrays

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128311