Publication | Open Access
Testing efficiency transfer codes for equivalence
57
Citations
12
References
2009
Year
Mathematical ProgrammingEngineeringSoftware TestingVerificationFormal MethodsEquivalence CheckingComputer ScienceEfficiency Transfer CodesSoftware AnalysisError Correction CodeFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1