Show simple item record

dc.contributor.authorChin, Wei-Nganen_GB
dc.contributor.authorKhoo, Siau-Chengen_GB
dc.contributor.authorQin, Shengchaoen_GB
dc.contributor.authorPopeea, Corneliuen_GB
dc.contributor.authorNguyen, Huu Haien_GB
dc.date.accessioned2013-07-01T13:56:56Z
dc.date.available2013-07-01T13:56:56Z
dc.date.issued2013-07-01
dc.identifier.doi10.1145/1062455.1062500
dc.identifier.urihttp://hdl.handle.net/2384/295006
dc.relation.urlhttp://portal.acm.org/citation.cfm?doid=1062455.1062500en_GB
dc.titleVerifying safety policies with size properties and alias controlsen_GB
refterms.dateFOA2018-02-14T10:13:10Z


Files in this item

Thumbnail
Name:
Verifying safety policies with ...
Size:
758.3Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record