QUAIL: A Quantitative Security Analyzer for Imperative Code

Fabrizio Biondi
, Andrzej Wasowski
, Louis-Marie Traonouez
, Axel Legay

Aalborg University

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

1 results
- Relevance

Filter

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research