Matej Kosík, Jirí Safarík. A Contribution to Techniques for Building Dependable Software Systems. In Miroslav Popovic, Valentino Vranic, editors, Second Eastern European Regional Conference on the Engineering of Computer Based Systems, ECBS-EERC 2011, Bratislava, Slovakia, 5-6 September 2011. pages 3-12, IEEE, 2011. [doi]
Abstract is missing.