Robustly Safe Compilation / Patrignani, Marco; Garg, Deepak. - 11423:(2019), pp. 469-498. (Intervento presentato al convegno ESOP tenutosi a Prague, Czech Republic, nel April 6-11, 2019) [10.1007/978-3-030-17184-1_17].
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