Todorov V., Taha S., Boulanger F., Hernandez A. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // # 14, 2019
Kondratyev D., Maryasov I., Nepomniaschy V. Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // # 10, 2017
Kondratyev D., Promsky A. Towards automated error localization in C programs with loops // # 14, 2019
de Carvalho D., Mazzara M., Mingela B., Safina L., Troshkov N., Tchitchigin A. Towards Static Type-checking for Jolie // # 10, 2017
