APA (7th ed.) Citation

Kolchin, A., Letichevsky, A., Potiyenko, S., & Peschanenko, V. (2015). Survey on modern tools and methods of formal models verification. PROBLEMS IN PROGRAMMING.

Chicago Style (17th ed.) Citation

Kolchin, A.V, A.A Letichevsky, S.V Potiyenko, and V.S Peschanenko. Survey on Modern Tools and Methods of Formal Models Verification. PROBLEMS IN PROGRAMMING, 2015.

MLA (8th ed.) Citation

Kolchin, A.V, et al. Survey on Modern Tools and Methods of Formal Models Verification. PROBLEMS IN PROGRAMMING, 2015.

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