Publication | Closed Access
Recent advances in program verification through computer algebra
35
Citations
35
References
2010
Year
Program CheckingEngineeringProgram AnalysisAutomated ReasoningVerificationSoftware VerificationFormal MethodsComputer-aided VerificationComputer ScienceSoftware AnalysisRecent AdvancesFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1