Hypertesting: The Case for Automated Testing of Hyperproperties

Johannes Kinder

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

490 Downloads (Pure)

1 results

Filter

Finished

MobSec: Malware and Security in the Mobile Age
Cavallaro, L. & Kinder, J.
Eng & Phys Sci Res Council EPSRC
10/11/14 → 4/05/19
Project: Research