Contracts for System Design / Benveniste, Albert; Caillaud, Benoit; Nickovic, Dejan; Passerone, Roberto; Raclet, Jean-Baptiste; Reinkemeier, Philipp; Sangiovanni-Vincentelli, Alberto L.; Damm, Werner; Henzinger, Thomas A.; Larsen, Kim. G.. - STAMPA. - (2018). [10.1561/1000000053]
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