Static analysis via abstract interpretation of multithreaded programs

FERRARA, Pietro
2009

22-mag-2009
Inglese
CORTESI, Agostino
BOSSI, Annalisa
Università Ca' Foscari Venezia
230 p.
File in questo prodotto:
File Dimensione Formato  
TesiFormattata.pdf

accesso aperto

Dimensione 1.4 MB
Formato Adobe PDF
1.4 MB Adobe PDF Visualizza/Apri

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/163756
Il codice NBN di questa tesi è URN:NBN:IT:UNIVE-163756