Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

Programming and Computer Software - 2003
V. A. Nepomniaschy1, Igor S. Anureev2, Алексей Владимирович Промский2
1Ershov Institute of Information Systems, Siberian Division, Russian Academy of Sciences, pr. Akademika Lavrent'eva 6, Novosibirsk, 630090 Russia [email protected]
2Siberian Division, Russian Academy of Sciences, Ershov Institute of Information Systems, Novosibirsk, Russia

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Programming and Computer Software

Thông tin tác giả