Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Program Analysis is Harder than Verification: A Computability Perspective
2018-01-01 Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco
A²I: abstract² interpretation
2019-01-01 Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco
A Correctness and Incorrectness Program Logic
2023-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Program Analysis is Harder than Verification: A Computability Perspective | 1-gen-2018 | Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco | |
A²I: abstract² interpretation | 1-gen-2019 | Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco | |
A Correctness and Incorrectness Program Logic | 1-gen-2023 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco |
Mostrati risultati da 1 a 3 di 3
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