GHASEMPOURI, TARA
GHASEMPOURI, TARA
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Improving ABV by generation and abstraction of PSL assertions | 1-gen-2016 | Ghasempouri, Tara |