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

Кулямин В.В., Лаврищева Е.М., Мутилин В.С., Петренко А.К. Верификация и анализ вариабельных операционных систем. Труды Института системного программирования РАН. 2016;28(3):189-208. https://doi.org/10.15514/ISPRAS-2016-28(3)-12

For citation:

Kuliamin V.V., Lavrischeva E.M., Mutilin V.S., Petrenko A.K. Verification and analysis of variable operating systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(3):189-208. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(3)-12