Show simple item record

Symbolic Quantitative Information Flow

dc.contributor.authorPhan, Q-Sen_US
dc.contributor.authorMalacaria, Pen_US
dc.contributor.authorTkachuk, Oen_US
dc.contributor.authorPasareanu, CSen_US
dc.date.accessioned2014-12-03T15:17:28Z
dc.date.issued2012-11en_US
dc.identifier.issn0163-5948en_US
dc.identifier.other6
dc.identifier.other6
dc.identifier.other6
dc.identifier.other6en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/6239
dc.descriptionacmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5
dc.descriptionacmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5
dc.descriptionacmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5
dc.descriptionacmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5
dc.descriptionacmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5en_US
dc.format.extent1 - 5en_US
dc.publisherACMen_US
dc.relation.ispartofSIGSOFT Softw. Eng. Notesen_US
dc.titleSymbolic Quantitative Information Flowen_US
dc.typeArticle
dc.identifier.doi10.1145/2382756.2382791en_US
pubs.notesNot knownen_US
pubs.publisher-urlhttp://doi.acm.org/10.1145/2382756.2382791en_US
pubs.volume37en_US


Files in this item

Thumbnail
Name:
paper1.pdf
Size:
762.7Kb
Format:
application/
Description:
Published version
View/Open

This item appears in the following Collection(s)

Show simple item record