Sfoglia per Rivista SCIENCE OF COMPUTER PROGRAMMING
Mostrati risultati da 1 a 5 di 5
CD-Form: A Clone Detector based on Formal Methods
2014-01-01 Cuomo, A; Santone, Antonella; Villano, U.
Compositionality and Locality for Improving Model Checking in the Selective Mu-Calculus
2004-01-01 Santone, Antonella; G., Vaglini
Incremental construction of systems: an efficient characterization of the lacking sub-system
2013-01-01 Santone, Antonella; Vaglini, G; Villani, Ml
State Space Reduction by Non-Standard Semantics for Deadlock Analysis
1998-01-01 N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Towards a Logical Semantics for Pure Prolog
1998-01-01 R., Barbuti; N., DE FRANCESCO; P., Mancarella; Santone, Antonella
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| CD-Form: A Clone Detector based on Formal Methods | 1-gen-2014 | Cuomo, A; Santone, Antonella; Villano, U. | |
| Compositionality and Locality for Improving Model Checking in the Selective Mu-Calculus | 1-gen-2004 | Santone, Antonella; G., Vaglini | |
| Incremental construction of systems: an efficient characterization of the lacking sub-system | 1-gen-2013 | Santone, Antonella; Vaglini, G; Villani, Ml | |
| State Space Reduction by Non-Standard Semantics for Deadlock Analysis | 1-gen-1998 | N., DE FRANCESCO; Santone, Antonella; G., Vaglini | |
| Towards a Logical Semantics for Pure Prolog | 1-gen-1998 | R., Barbuti; N., DE FRANCESCO; P., Mancarella; Santone, Antonella |
Mostrati risultati da 1 a 5 di 5
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