| |
Непомнящий, В. А.
На пути верификации C-программ. Аксиоматическая семантика языка C-kernel [Текст] / В. А. Непомнящий, И. С. Ануреев, А. В. Промский
// Программирование. – 2003. – № 6. – 65-80.
С целью верификации программ на языке C-light выделено его ядро С-kernel, для которого предложена аксиоматическая семантика |
