Kolchin, A. V., & Potienko, S. V. (2018). Interactive method for automated test suit development for formal models of software systems.
Chicago Style (17th ed.) CitationKolchin, A. V., and S. V. Potienko. Interactive Method for Automated Test Suit Development for Formal Models of Software Systems. 2018.
MLA (8th ed.) CitationKolchin, A. V., and S. V. Potienko. Interactive Method for Automated Test Suit Development for Formal Models of Software Systems. 2018.
Warning: These citations may not always be 100% accurate.