Symbolic Quantitative Information Flow

View/Open
Volume
37
Pagination
1 - 5
Publisher
ACM
Publisher URL
http://doi.acm.org/10.1145/2382756.2382791
DOI
10.1145/2382756.2382791
Journal
SIGSOFT Softw. Eng. Notes
ISSN
0163-5948
Metadata
Show full item record
Authors
Phan, Q-S; Malacaria, P; Tkachuk, O; Pasareanu, CS
URI
http://qmro.qmul.ac.uk/jspui/handle/123456789/6239
Collections