Vadym Shkarupylo, Alexander Chemeris, Valentyna Dusheba, Ravil Kudermetov, Andrii O. Oliinyk. On Hoare Triples Applicability to Dependable System Specification Synthesis. In 11th IEEE International Conference on Dependable Systems, Services and Technologies, DESSERT 2020, Kyiv, Ukraine, May 14-18, 2020. pages 371-375, IEEE, 2020. [doi]
Abstract is missing.