QUAIL: A Quantitative Security Analyzer for Imperative Code
- Fabrizio Biondi
- , Andrzej Wasowski
- , Louis-Marie Traonouez
- , Axel Legay
- Aalborg Universitet
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review