Static Analysis
Subtitle: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings
Series: Lecture notes in computer science -- 3148; 3148
Publisher: Springer Berlin Heidelberg
Published: 2004
Place of publication: Berlin, Heidelberg
Language: ger
Format: [Elektronische Ressource]
ISBN-13: 9783540278641
Subjects: Datenfluss; Programmtest; Programmverifikation; Statische Analyse; Kontrollfluss; Programmtransformation
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA