@inproceedings{inproceedings67a88fde,
title   = {A strategy for the formal composition of frameworks},
author = {Mesquita, walter and Sampaio, Augusto and Melo, Ana Cristina Vieira de},
year = {2005},
doi = {10.1109/SEFM.2005.5},
publisher = {IEEE},
booktitle   = {International Conference on Software Engineering and Formal Methods - SEFM}
}