Fully abstract trace semantics for protected module architectures / Patrignani, Marco; Clarke, Dave. - In: COMPUTER LANGUAGES, SYSTEMS & STRUCTURES. - ISSN 1477-8424. - 42:(2015), pp. 22-45. [10.1016/j.cl.2015.03.002]
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