Borisenko Andrey

Work place: ITMO University
Post: student
E-mail: Andrey.Borisenko@gmail.com
Borisenko A., Parfenov V. JOINT APPLICATION OF CONTRACTS AND VERIFICATION FOR AUTOMATA-BASED PROGRAMS QUALITY ENHANCEMENT
The article was published in issue 2, volume 11, 2011
Copyright 2001-2019 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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