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).

The Eureka Tool for Software Model Checking

BENERECETTI, MASSIMO;
2007

2007
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/116774
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact