Guba, A. (2014). Traversal of arbitrary sequences of UCM symbolic transitions for test generation. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Guba, A.A. Traversal of Arbitrary Sequences of UCM Symbolic Transitions for Test Generation. Інститут програмних систем НАН України, 2014.
Стиль цитування MLA (8-ме видання)Guba, A.A. Traversal of Arbitrary Sequences of UCM Symbolic Transitions for Test Generation. Інститут програмних систем НАН України, 2014.
Попередження: стилі цитування не завжди правильні на всі 100%.