The International Conference on COTS-Based Software Systems 2006
ICCBSS 2006

TPTP documents are provided under the Eclipse Foundation Software User Agreement.

The ICCBSS official web site