Title of article

Rewriting-Based Techniques for Runtime Verification

Author/Authors

Grigore Ro?u and Klaus Havelund ، نويسنده ,

Issue Information

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

Pages

47

From page

151

To page

197

Keywords

Rewriting , Verification , runtime analysis

Journal title

Automated Software Engineering

Serial Year

2005

Journal title

Automated Software Engineering

Record number

307142