Kurbatsky Evgeny

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, volume 08, 2008
Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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