Discover open access scientific publications

Search, annotate, share and cite publications

Publications by E.M. Novikov

Evolution of the Linux Kernel

Proceedings of the Institute for System Programming of the RAS

English

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel

Proceedings of the Institute for System Programming of RAS

English