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


Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta May 28, 2014
Add to Reading List

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


Open Document

File Size: 2,24 MB

Share Result on Facebook