On Modular and Fully-Abstract Compilation / Patrignani, Marco; Devriese, Dominique; Piessens, Frank. - (2016), pp. 17-30. (Intervento presentato al convegno CSF tenutosi a Lisbon,Portugal, nel June 27 - July 1, 2016) [10.1109/CSF.2016.9].
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