Kolchin, A. (2018). Interactive method for cumulative analysis of software formal models behavior. Проблеми програмування.
Chicago Style (17th ed.) CitationKolchin, A. "Interactive Method for Cumulative Analysis of Software Formal Models Behavior." Проблеми програмування 2018.
MLA (8th ed.) CitationKolchin, A. "Interactive Method for Cumulative Analysis of Software Formal Models Behavior." Проблеми програмування, 2018.
Warning: These citations may not always be 100% accurate.