На пути к верификации С-программ
русский (rus)/На пути к верификации С-программ = Towards the verification of C programs / В.А. Непомнящий, И.С. Ануреев, И.Н. Михайлов, А.В. Промский.На пути к верификации С-программ / В.А. Непомнящий, И.С. Ануреев, И.Н. Михайлов, А.В. Промский.На пути к верификации С-программ = Towards the verification of C programs.Новосибирск/Эмари/, 2001 ( ). - Эмари, 2001. - ; 20 см. - (Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; ...).На пути к верификации С-программ. Новосибирск, 2001 .
Авт. также на англ. яз.: V.A. Nepomniaschy, L.S. Anureev, I.N. Michailov, A.V. Promsky. - ...Towards the verification of C programs/Программы (компьют.) -- Верификация/C, язык программирования/З973.2-018-07/
Авт. также на англ. яз.: V.A. Nepomniaschy, L.S. Anureev, I.N. Michailov, A.V. Promsky. - ...Towards the verification of C programs/Программы (компьют.) -- Верификация/C, язык программирования/З973.2-018-07/