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

You are viewing the theme
[Voti: 0    Media Voto: 0/5]

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