Arthur Lazdin
Work place: Saint Petersburg National Research University of Information Technologies, Mechanics and Optics
Post: Associate professor
Degree: PhD
E-mail: lazdin@yandex.ru
Post: Associate professor
Degree: PhD
E-mail: lazdin@yandex.ru
Гедич А. А., Anatoly Zykov, Arthur Lazdin, Vladimir I. Polyakov SEARCH FOR PROCEDURE WITH THE USE OF FUNCTIONAL PROGRAM TRANSITION GRAPH TO VERIFY COMPUTATIONAL PROCESSES
The article was published in issue4(57) за 2014
The article was published in issue4(57) за 2014
