Checking security path with formal verification tool: new application development Author(s): Julia Dushina, Saumil Shah, Joerg Mueller, and Vincent Reynolds Download
