ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu
Author
int(6655)

Maxim V. Belousov

Work place: Vladimir State University, Department of Informatics and Information Security
Post: Student
E-mail: lib.bmw@gmail.com
Maxim V. Belousov, Aleksey V. Aleksandrov FEATURES OF THE SMT-PROTOCOL IMPLEMENTATION BASED ON PYTHON 3
The article was published in issue8(55) за 2012