Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Numerical static analysis with Soot
2013-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Scozzari, Francesca
Sum of Abstract Domains
2015-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Scozzari, Francesca
Narrowing Operators on Template Abstract Domains
2015-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
Descending chains and narrowing on template abstract domains
2018-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Numerical static analysis with Soot | 2013 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Scozzari, Francesca | |
Sum of Abstract Domains | 2015 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Scozzari, Francesca | |
Narrowing Operators on Template Abstract Domains | 2015 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca | |
Descending chains and narrowing on template abstract domains | 2018 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile