Maxim V. Belousov
Work place: Vladimir State University, Department of Informatics and Information Security
Post: Student
E-mail: lib.bmw@gmail.com
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
The article was published in issue8(55) за 2012
