Symbolic quantitative information flow
Phan, Quoc-Sang; Malacaria, Pasquale; Tkachuk, Oksana; Păsăreanu, Corina S.
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Phan, Quoc-Sang; Malacaria, Pasquale; Tkachuk, Oksana; Păsăreanu, Corina S.
- 卷第37卷
- 期第6期
- 印刷ISSN0163-5948
- 文件大小762.73KB
- 发表时间2012-11-27
- DOI10.1145/2382756.2382791