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

Шелехов В.И. Проектирование сертифицированного компилятора предикатных программ. Вестник СибГУТИ. 2019;(3):89-95.

For citation:

Shelekhov V. Certified compiler design of predicate programs. The Herald of the Siberian State University of Telecommunications and Information Science. 2019;(3):89-95. (In Russ.)