Клебанов Андрей Александрович

Work place: Университет ИТМО
Post: магистрант
E-mail: klebanov.andrey@gmail.com
Клебанов А. А., Shalyto A. A. ON THE FORMAL SPECIFICATION AND VERIFICATION OF AUTOMATA-BASED PROGRAMS BY SPECIFICATION PATTERNS
The article was published in issue 5(69) in 2010
Клебанов А. А., Shalyto A. A. DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH
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.

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