Ticc: A Tool for Interface Compatibility and Composition.

B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy

Browse the full CAV paper archive.