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

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
Гедич А. А., 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