Richiedi una copia del documento: Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation

Captcha code
Annulla