Publication | Closed Access
Rewriting-Based Techniques for Runtime Verification
196
Citations
38
References
2005
Year
EngineeringRuntime VerificationProgram AnalysisSoftware TestingVerificationFormal MethodsComputer-aided VerificationComputer ScienceFormal VerificationSoftware AnalysisSystem SoftwareSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1