1
Publications
143
Citations
1
H-Index
1987
Active since
Paul Soper is an author specializing in formal verification, formal methods, and data security.
Top concepts
EngineeringVerificationData SecurityData IntegrityFormal MethodsComputer ScienceProof ComplexitySoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1987–1987
1
1
Integrity Checking in Deductive Databases
Robert Kowalski, Fariba Sadri, Paul Soper · 1987 · 143 citations
Rows per page
1–1 of 1