Benerecetti, Massimo (2007) The Eureka Tool for Software Model Checking. In: International Conference on Automatic Software Engineering 2007, 5-9 novembre 2007, Atlanta, USA.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Title: The Eureka Tool for Software Model Checking
Creators:
Creators
Email
Benerecetti, Massimo
UNSPECIFIED
Autore/i: ARMANDO A; M. BENERECETTI; CAROTENUTO D; MANTOVANI J; SPICA P
Date: 2007
Number of Pages: 0
Department: Scienze fisiche
Event Title: International Conference on Automatic Software Engineering 2007
Event Location: Atlanta, USA
Event Dates: 5-9 novembre 2007
Title of Book: Proceedings of ASE 2007 International Conference on Automatic Software Engineering
Date: 2007
Volume: LNCS 1944
Page Range: pp. 220-229
Number of Pages: 0
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5695

Downloads

Downloads per month over past year

Actions (login required)

View Item View Item