Title of article

Calculating sharp adaptation rules

Author/Authors

David A. Naumann، نويسنده ,

Issue Information

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

Pages

8

From page

201

To page

208

Keywords

Predicate transformers , Program derivation , Programming calculi , Refinement algebra

Journal title

Information Processing Letters

Serial Year

2001

Journal title

Information Processing Letters

Record number

129332