Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=Thomas Jensen
cover
Static Analysis
Comment Share
Sandrine BlazyThomas Jensen

Edition
-
ISBN/ISSN
978-3-662-48288-9
Collation
-
Series Title
-
Call Number
-

Edition
-
ISBN/ISSN
978-3-662-48288-9
Collation
-
Series Title
-
Call Number
-
cover
Static Analysis
Comment Share
Sandrine BlazyThomas Jensen

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and applicational advances in the area. Previous symposia were held in Munich, Seattle, Deauville…

Edition
-
ISBN/ISSN
978-3-662-48288-9
Collation
-
Series Title
-
Call Number
-