Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega. Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. In Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones, editors, Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings. Volume 9695 of Lecture Notes in Computer Science, pages 113-128, Springer, 2016. [doi]
Abstract is missing.