RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 21 - 25 di 25 (tempo di esecuzione: 0.008 secondi).
Set-Based Constraints
2002-01-01 A., Dovier; C., Piazza; Rossi, Gianfranco
Using a set constraint solver for program verification
2017-01-01 Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia
Using {log} as a test case generator for Z specifications
2013-01-01 M., Cristia'; Rossi, Gianfranco
{log} (version 4.6)
2009-01-01 Rossi, Gianfranco; DAL PALU', Alessandro; Agostino, Dovier; Enrico, Pontelli
{log} as a Test Case Generator for the Test Template Framework
2012-01-01 M., Cristia'; Rossi, Gianfranco; C., Frydman
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Set-Based Constraints | 1-gen-2002 | A., Dovier; C., Piazza; Rossi, Gianfranco | |
Using a set constraint solver for program verification | 1-gen-2017 | Cristiá, Maximiliano; Rossi, Gianfranco; Frydman, Claudia | |
Using {log} as a test case generator for Z specifications | 1-gen-2013 | M., Cristia'; Rossi, Gianfranco | |
{log} (version 4.6) | 1-gen-2009 | Rossi, Gianfranco; DAL PALU', Alessandro; Agostino, Dovier; Enrico, Pontelli | |
{log} as a Test Case Generator for the Test Template Framework | 1-gen-2012 | M., Cristia'; Rossi, Gianfranco; C., Frydman |
Risultati 21 - 25 di 25 (tempo di esecuzione: 0.008 secondi).
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
Opzioni
Scopri
Tipologia
- 7 Altro 25
- 7 Altro::7.12 Altro 20
- 7 Altro::7.11 Software 3
- 7 Altro::7.05 Esposizione 2
Data di pubblicazione
- 2010 - 2020 14
- 2001 - 2009 11
Lingua
- eng 19
Accesso al fulltext
- no fulltext 25