Publication | Open Access
On the consistency of MPS
68
Citations
46
References
2012
Year
Mathematical ProgrammingData ConsistencyComputational Complexity TheoryEngineeringAutomated ReasoningVerificationFormal MethodsComputer ScienceConsistency TechnologyFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1