{QUAIL:} {A} Quantitative Security Analyzer for Imperative Code
| Title | {QUAIL:} {A} Quantitative Security Analyzer for Imperative Code |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Biondi, F, Legay, A, Traonouez, L-M, Wasowski, A |
| Conference Name | Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings |
| URL | http://dx.doi.org/10.1007/978-3-642-39799-8_49 |
| DOI | 10.1007/978-3-642-39799-8_49 |
PDF (Full text):
Work Package:
WP3
