Title of article

Efficient weakest preconditions

Author/Authors

K. Rustan M. Leino، نويسنده ,

Issue Information

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

Pages

8

From page

281

To page

288

Keywords

Program correctness , Formal semantics , Automatic theorem proving

Journal title

Information Processing Letters

Serial Year

2005

Journal title

Information Processing Letters

Record number

130046