Evgeny . Kurbatsky

Work place: Saint-Petersburg State University of Information Technologies, Mechanics and Optics
Kurbatsky E. . VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SMV TOOL
The article was published in issue 8(53) in 2008
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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