%0 Journal Article
%A D. A. Kondrat'ev
%T Logic for reasoning about bugs in loops over data sequences (IFIL)
%J Modelirovanie i analiz informacionnyh sistem
%D 2023
%P 214-233
%V 30
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2023_30_3_a2/
%G en
%F MAIS_2023_30_3_a2