The Eureka Tool for Software Model Checking / Armando, A., Benerecetti, M., 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.


