Title of article

The joy of formula manipulation

Author/Authors

W. H. J. Feijen، نويسنده ,

Issue Information

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

Pages

8

From page

89

To page

96

Keywords

Calculational reasoning , Programming methodology

Journal title

Information Processing Letters

Serial Year

2001

Journal title

Information Processing Letters

Record number

129317