Publication | Open Access
Lifting integrity constraints in binary aggregation
46
Citations
33
References
2013
Year
EngineeringData IntegrityData AggregationVerificationFormal MethodsComputer ScienceFormal VerificationIntegrity VerificationData SecurityBinary Aggregation
| Year | Citations | |
|---|---|---|
Page 1
Page 1