Validating Component Integration with C-TILCO: A Case Study

Pierfrancesco Bellini, Paolo Nesi, Davide Rogai. Validating Component Integration with C-TILCO: A Case Study. Electronic Notes in Theoretical Computer Science, 116:241-252, 2005. [doi]

Abstract

Abstract is missing.