Back to Results
First PageMeta Content
Logic / Mathematical logic / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / FO / Constructible universe / Normal distribution


Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l
Add to Reading List

Document Date: 2016-01-24 20:37:43


Open Document

File Size: 976,79 KB

Share Result on Facebook