Publication | Closed Access
Proof of correctness of data representations
964
Citations
7
References
1972
Year
Data RepresentationEngineeringData ScienceAutomated ReasoningVerificationData RepresentationsFormal MethodsData TreatmentMachine-readable RepresentationComputer Science
| Year | Citations | |
|---|---|---|
Page 1
Page 1