%0 Journal Article %A G. S. Lopatkin %T Approach to automated testing digital devices %J Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ %D 2013 %P 90-98 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/VSPUI_2013_4_a10/ %G ru %F VSPUI_2013_4_a10