{QUAIL:} {A} Quantitative Security Analyzer for Imperative Code

Title{QUAIL:} {A} Quantitative Security Analyzer for Imperative Code
Publication TypeConference Paper
Year of Publication2013
AuthorsBiondi, F, Legay, A, Traonouez, L-M, Wasowski, A
Conference NameComputer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-642-39799-8_49
DOI10.1007/978-3-642-39799-8_49
PDF (Full text): 
Work Package: 
WP3