Библиографическая ссылка:
Калянов Г.Н. The business processes verification methods / Proceedings of the 11th International Conference "Management of Large-Scale System Development" (MLSD). М.: IEEE, 2018. С. https://ieeexplore.ieee.org/document/8551761.