Dolgushin, Ivan Viktorovich

Report

• Dolgushin I.V.^*, Tyumentsev E.A.^*
  Exploring the possibility of applying Hoare logic to the verification of program code
  ^*Омский государственный технический университет (Omsk), Russia