Showing 1 - 1 results of 1 for search 'NUMERICAL METHODS WITH APPLICATIONS', query time: 0.78s Refine Results
  1. 1
    Static analysis of program by Abstract Interpretation and Decision Procedures
    by Henry, Julien
    Published 2014
    “... proposons plusieurs extensions de cette méthode qui améliorent la précision de l'analyse.Habituellement...”
    Get full text
Search Tools: Get RSS Feed — Email this Search