PASQUA, MICHELE
PASQUA, MICHELE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A semantics-based approach to software watermarking by abstract interpretation | 1-gen-2016 | DALLA PREDA, Mila; Pasqua, Michele | |
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification | 1-gen-2019 | Pasqua, Michele |