Guba, A. (2025). Traversal of arbitrary sequences of UCM symbolic transitions for test generation. Інститут програмних систем НАН України.
Chicago Style (17th ed.) CitationGuba, A.A. Traversal of Arbitrary Sequences of UCM Symbolic Transitions for Test Generation. Інститут програмних систем НАН України, 2025.
MLA (8th ed.) CitationGuba, A.A. Traversal of Arbitrary Sequences of UCM Symbolic Transitions for Test Generation. Інститут програмних систем НАН України, 2025.
Warning: These citations may not always be 100% accurate.