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

Петренко А.К., Кулямин В.В., Хорошилов А.В. Об интеграции формальных методов в задачах верификации операционных систем. Труды Института системного программирования РАН. 2015;27(5):175-190. https://doi.org/10.15514/ISPRAS-2015-27(5)-10

For citation:

Petrenko A.K., Kuliamin V.V., Khoroshilov A.V. Integration Points of Operating System Verification Techniques. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(5):175-190. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(5)-10