For citations:
Kornykhin E.V. Mirror-based method of constraints generation for test programs generation by test template. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;18. (In Russ.)
Kornykhin E.V. Mirror-based method of constraints generation for test programs generation by test template. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;18. (In Russ.)