Enviar por SMS: Diagnostirovanije logičeskich schem. Algoritmy modelirovanija i avtomatičeskogo sinteza testa /