TY - JOUR AU - V. V. Aleksandrov AU - A. V. Lebedev AU - S. S. Lemak TI - Mixed testing strategies in the quality check problem for stabilization algorithms JO - Vestnik Moskovskogo universiteta. Matematika, mehanika PY - 2009 SP - 50 EP - 53 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VMUMM_2009_3_a8/ LA - ru ID - VMUMM_2009_3_a8 ER -