![](/img/cover-not-exists.png)
[IEEE 2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT) - Kyiv, Ukraine (2020.5.14-2020.5.18)] 2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT) - On Hoare Triples Applicability to Dependable System Specification Synthesis
Shkarupylo, Vadym, Chemeris, Alexander, Dusheba, Valentyna, Kudermetov, Ravil, Oliinyk, AndriiYear:
2020
DOI:
10.1109/dessert50317.2020.9125074
File:
PDF, 989 KB
2020