Andrey . Borisenko

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(72) in 2011
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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