Title of article

Reasoning algebraically about loops

Author/Authors

R.J.R. Back and J. von Wright ، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1999

Pages

40

From page

295

To page

334

Journal title

acta Informatica

Serial Year

1999

Journal title

acta Informatica

Record number

287669