@inproceedings{7b538372181140008d74c361253f2638,
title = "Moving from Specifications to Contracts in Component-Based Design",
author = "Sebastian Bauer and Alexandre David and Rolf Hennicker and Larsen, {Kim Guldstrand} and Axel Legay and Nyman, {Ulrik Mathias} and Andrzej Wasowski",
year = "2012",
doi = "http://dx.doi.org/10.1007/978-3-642-28872-2",
language = "English",
isbn = " ISBN: 978-3-642-28871-5 ",
volume = "7212",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = " 43--58 ",
booktitle = "Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12",
}