Broadening the Scope of SMT-COMP: the Application Track / Bruttomesso, Roberto; Griggio, Alberto. - 873:(2012). ((Intervento presentato al convegno 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems tenutosi a Manchester, UK nel 30/06/2012.
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