Nikolay N. Voit, Semen I. Bochkov. Design Workflows Graph Schemes Correctness Proof in Computer Aided Design Activity. In Audrius Lopata, Daina Gudoniene, Rita Butkiene, editors, Information and Software Technologies - 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14-16, 2021, Proceedings. Volume 1486 of Communications in Computer and Information Science, pages 48-59, Springer, 2021. [doi]
Abstract is missing.