SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.

Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli

Browse the full ICSE paper archive.