Author Andrey Borisenko Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2024 , VOLUME 24, NUMBER 2 ( march-april )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Menu

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

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