@inproceedings{CK08, title = {Software Engineering Techniques for the Development of Systems of Systems}, author = {Radu Calinescu and Marta Kwiatkowska}, year = {2008}, tags = {SOS, software engineering}, researchr = {https://researchr.org/publication/CK08}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 15th Monterey Workshop on Foundations of Computer Software}, }