Belyaev, M., & Itsykson, V. (2015). Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification. Yaroslavl State University.
Chicago Style (17th ed.) CitationBelyaev, M., and V. Itsykson. Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification. Yaroslavl State University, 2015.
MLA (8th ed.) CitationBelyaev, M., and V. Itsykson. Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification. Yaroslavl State University, 2015.
Warning: These citations may not always be 100% accurate.