Title of article
Heuristics for a calculational proof
Author/Authors
Edsger W. Dijkstra، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1995
Pages
3
From page
141
To page
143
Keywords
Heuristics , Calculational proofs , Fonnal proofs , Proof design , Proof derivation , Avoiding rabbits , Fonnula manipulation
Journal title
Information Processing Letters
Serial Year
1995
Journal title
Information Processing Letters
Record number
128195
Link To Document