I.A. Lomazova
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
O slo~nosti induktivnyh uslovii dlja verifikacii arffmeti~eskih programm (On the complexity of inductive assertions for the verification of arithmetical programs)
I.A. Lomazova (1978) · Materialy Wsesojuznoi Nau~noi StudenSeskoi Konferencii