User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

QUAIL: A Quantitative Security Analyzer for Imperative Code

Bibliographic reference Biondi, Fabrizio ; Legay, Axel ; Traonouez, Louis-Marie ; Wasowski, Andrzej. QUAIL: A Quantitative Security Analyzer for Imperative Code.CAV 2013 - 25th International Conference on Computer Aided Verification (du 13/07/2013 au 19/07/2013). In: Computer Aided Verification Lecture Notes in Computer Science, Springer Berlin Heidelberg : Berlin, Heidelberg2013
Permanent URL https://hdl.handle.net/2078.1/210492