The Correctness of Set-Sharing / Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea. - (1998), pp. 255-267. (Intervento presentato al convegno 1998 Joint Conference on Declarative Programming tenutosi a A Coruña, Spain nel July 20-23, 1998).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.