Automatic analysis of problem programs
    
    
  
  
  
      
      
      
        
Zapiski Nauchnykh Seminarov POMI, Computational methods and automatic programming, Tome 48 (1974), pp. 23-31
    
  
  
  
  
  
    
      
      
        
      
      
      
    Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ZNSL_1974_48_a4,
     author = {N. B. Malyshev and T. N. Smirnova},
     title = {Automatic analysis of problem programs},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {23--31},
     publisher = {mathdoc},
     volume = {48},
     year = {1974},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1974_48_a4/}
}
                      
                      
                    N. B. Malyshev; T. N. Smirnova. Automatic analysis of problem programs. Zapiski Nauchnykh Seminarov POMI, Computational methods and automatic programming, Tome 48 (1974), pp. 23-31. http://geodesic.mathdoc.fr/item/ZNSL_1974_48_a4/
