Università degli Studi di Cagliari
Automatic Generation of Macro-Operators from Static Domain Analysis
ARMANO, GIULIANO;VARGIU, ELOISA
2004-01-01
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
| ecai-p0955.pdf accesso aperto
Tipologia: versione post-print
Dimensione 908.45 kB
Formato Adobe PDF
|
908.45 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.