Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE, 2007.
@inproceedings{ICSE-2007-AutiliINT,
author = "Marco Autili and Paola Inverardi and Alfredo Navarra and Massimo Tivoli",
booktitle = "{Proceedings of the 29th International Conference on Software Engineering}",
doi = "10.1109/ICSE.2007.84",
pages = "784--787",
publisher = "{IEEE Computer Society}",
title = "{SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems}",
year = 2007,
}