Faella, Marco (2006) TICC: A Tool for Interface Compatibility and Composition. In: 18th International Conference on Computer Aided Verification (CAV), August, 2006, Seattle, USA.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Depositing User: ing Paolo Nicastro
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5627

Actions (login required)

View Item View Item