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


