Kolchin, A. (2018). Interactive method for cumulative analysis of software formal models behavior. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Kolchin, A. Interactive Method for Cumulative Analysis of Software Formal Models Behavior. Інститут програмних систем НАН України, 2018.
Стиль цитування MLA (8-ме видання)Kolchin, A. Interactive Method for Cumulative Analysis of Software Formal Models Behavior. Інститут програмних систем НАН України, 2018.
Попередження: стилі цитування не завжди правильні на всі 100%.