The Eureka Tool for Software Model Checking / Armando, A; Benerecetti, Massimo; Carotenuto, D; Mantovani, J; Spica, P.. - ELETTRONICO. - LNCS 1944:(2007), pp. 220-229. ( International Conference on Automatic Software Engineering 2007 Atlanta, USA 5-9 novembre 2007).
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.


