Для цитирования:

Новиков Е.М. Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux. Труды Института системного программирования РАН. 2013;24.

For citation:

Novikov E.M. Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;24. (In Russ.)