APA (7th ed.) Citation

Kolchin, A. (2018). Interactive method for cumulative analysis of software formal models behavior.

Chicago Style (17th ed.) Citation

Kolchin, A. Interactive Method for Cumulative Analysis of Software Formal Models Behavior. 2018.

MLA (8th ed.) Citation

Kolchin, A. Interactive Method for Cumulative Analysis of Software Formal Models Behavior. 2018.

Warning: These citations may not always be 100% accurate.