@article{MAIS_2023_30_3_a2,
     author = {D. A. Kondrat'ev},
     title = {Logic for reasoning about bugs in loops over data sequences {(IFIL)}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {214--233},
     publisher = {mathdoc},
     volume = {30},
     number = {3},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2023_30_3_a2/}
}