Yan . Malakhovski

Work place: ITMO University
Post: student
E-mail: trojan@rain.ifmo.ru
Korneev G. ., Malakhovski Y. . FINITE AUTOMATA VALIDATION WITH VARIABLES IN FUNCTIONAL PROGRAMMING LANGUAGES
The article was published in issue 6(70) in 2010
Malakhovski Y. ., Korneev G. . VERIFICATION OF REACTIVE PROGRAMS BY DEPENDENT TYPE SYSTEMS WITH STRUCTURAL INDUCTION
The article was published in issue 6(82) in 2012
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика