Title of article

Compositional Analysis of C/C++ Programs with VeriSoft

Author/Authors

Juergen Dingel، نويسنده ,

Issue Information

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

Pages

27

From page

45

To page

71

Journal title

acta Informatica

Serial Year

2006

Journal title

acta Informatica

Record number

287841