Kaz'mina E A

Publications in Math-Net.Ru

1. Probabilistic semantics of terminating programs
   
   Zh. Vychisl. Mat. Mat. Fiz., 28:3 (1988),  429–438
2. Variants of semantics of inaccurate data and the approximate performance of programs
   
   Zh. Vychisl. Mat. Mat. Fiz., 26:3 (1986),  417–429