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