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

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, volume 10, 2010
Клебанов А. А., Shalyto A. A. DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH
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.

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