Title of article
On the completeness of propositional Hoare logic
Author/Authors
Dexter Kozen، نويسنده , , Jerzy Tiuryn، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
9
From page
187
To page
195
Journal title
Information Sciences
Serial Year
2001
Journal title
Information Sciences
Record number
176292
Link To Document