Software components composition compatibility checking based on behavior description.

Chi Zhang

Browse the full GRC paper archive.