Title of article

Formality works

Author/Authors

Rob R. Hoogerwoord، نويسنده ,

Issue Information

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

Pages

6

From page

137

To page

142

Keywords

Transitive closure , Calculational mathematics , Program derivation , Distributed computing

Journal title

Information Processing Letters

Serial Year

2001

Journal title

Information Processing Letters

Record number

129323