Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореф. на соиск. уч. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Верификация драйверов операционной системы Linux при помощи предикатных абстракций : автореф. на соиск. уч. степ. к. ф.-м. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>