Send email Copy Email Address
2013-01-01

Relational abstract interpretation for the verification of 2-hypersafety properties

Tags
Trustworthy Information Processing
Conference / Medium

Proc. of the 20th ACM Conference on Computer and Communication Security (CCS 2013)

Date published

2013-01-01

Date last modified

2019-07-18 12:09:27

Authors
Download