M. Bravetti, G. Zavattaro (2009). A theory of contracts for strong service compliance. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19(3), 601-638 [10.1017/S0960129509007658].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.