Irfan Šljivo, B. Gallina, Jan Carlson, H. Hansson 4 20. 9. 2016. Configuration-Aware Contracts SAFECOMP Workshops Preuzmi PDF Engineering Computer Science + 1