Title of article

Verification conditions are code

Author/Authors

Andrew M. Gravell ، نويسنده ,

Issue Information

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

Pages

17

From page

431

To page

447

Journal title

acta Informatica

Serial Year

2007

Journal title

acta Informatica

Record number

287858