Title of article

On computing the semi-sum of two integers

Author/Authors

Salvatore Ruggieri، نويسنده ,

Issue Information

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

Pages

5

From page

67

To page

71

Keywords

formal methods , Program derivation

Journal title

Information Processing Letters

Serial Year

2003

Journal title

Information Processing Letters

Record number

129742