Precise Specification Matching for Automated Component Retrieval and Adaptation.

Hai-Feng Guo, Miao Liu, Jiaxiong Pi

Browse the full IRI paper archive.