Linda Herrmann [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Compositional Verification of Application-Level Security Properties ESSoS-2013 - Paris ,France Security