Checking security path with formal verification tool: new application development

Author(s):
Julia Dushina, Saumil Shah, Joerg Mueller, and Vincent Reynolds
Location:
United States
Year:
2014
Type:
Paper
Format:
pdf