Bichevskii Ya Ya

Publications in Math-Net.Ru

1. An extension of methods for symbolic testing of computer programs
   
   Avtomat. i Telemekh., 1982, no. 8,  93–101