Velder Sergey

Work place: ITMO University
Post: Postgraduate
Degree: магистр прикладной математики и информатики
E-mail: velder@rain.ifmo.ru
Velder S., Shalyto A. A. MODEL CHECKING AUTOMATA-BASED PROGRAMS USING REDUCED TRANSITION GRAPH CONSTRUCTION
The article was published in issue 6, volume 09, 2009
Velder S., Shalyto A. A. METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION
The article was published in issue 8, volume 08, 2008
Copyright 2001-2019 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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