Static analysis techniques for session-oriented calculi / Lucia, A., Chiara, B., Michele, B., Roberto, B., MENDES TORRES VIEIRA, H.. - 6582:(2011), pp. 214-231. [10.1007/978-3-642-20401-2_10]
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.
