Author's details  
           
  Author's name :  G%EF%BF%BD%EF%BF%BDBOR%20HORV%EF%BF%BD%EF%BF%BDTH    
    Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary      
           
  Today: 23-04-2024     
      
 
   Articles with the same author  
         
 
1.  AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER.
          Authors: RÉKA KOVÁCS, GÁBOR HORVÁTH.

 
         
     
         
           
    Back to previous page