Format:
X, 359 S. :
,
graph. Darst. ;
,
24 cm.
ISBN:
978-3-642-03236-3
Series Statement:
Lecture notes in computer science 5673
Note:
Literaturangaben
Language:
English
Keywords:
Statische Analyse
;
Statische Analyse
;
Bug
;
Softwaretest
;
Statische Analyse
;
Codeoptimierung
;
Abstrakte Interpretation
;
Statische Analyse
;
Datenfluss
;
Kontrollfluss
;
Konferenzschrift
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/994909330/04
Author information:
Palsberg, Jens, 1964-