@article{VSPUI_2013_4_a10,
     author = {G. S. Lopatkin},
     title = {Approach to automated testing digital devices},
     journal = {Vestnik Sankt-Peterburgskogo universiteta. Prikladna\^a matematika, informatika, processy upravleni\^a},
     pages = {90--98},
     publisher = {mathdoc},
     number = {4},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSPUI_2013_4_a10/}
}