Title of article :
Rewriting-Based Techniques for Runtime Verification
Author/Authors :
Grigore Ro?u and Klaus Havelund ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Keywords :
Rewriting , Verification , runtime analysis
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
