Kondratyev D., Maryasov I., Nepomniaschy V. Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // # 10, 2017
