Performance evaluation via abstract machines

Stringa bibliografica C. Priami, "Performance evaluation via abstract machines", 1998. Atti di: 1st workshop del progetto cofinanziato 'Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software', Roma, 1998

Dettaglio