POLITICALLY CORRECT: UNO STRUMENTO PER LA VERIFICA DI POLITICHE DI SICUREZZA SU HISTORY EXPRESSIONS.

[Total: 0    Average: 0/5]

Viene presentato il prototipo di un Model Checker per la verifica statica di propriet