Model Checking Linear Programs with Arrays / Armando, A; Benerecetti, Massimo; Mantovani, J.. - STAMPA. - 952:(2005), pp. 79-94. (Intervento presentato al convegno SoftMC 2005: Workshop on Software Model Checking tenutosi a Edinburgh, Scotland nel July 11, 2005).
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.