Колчин, А., Летичевский, А., & Потиенко, С. (2014). Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем. Проблеми програмування.
Chicago Style (17th ed.) CitationКолчин, А.В, А.А Летичевский, and С.В Потиенко. "Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем." Проблеми програмування 2014.
MLA (8th ed.) CitationКолчин, А.В, et al. "Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем." Проблеми програмування, 2014.
Warning: These citations may not always be 100% accurate.