Media type: Book; Conference Proceedings Title: Static analysis : third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996; proceedings Contributor: Cousot, Radhia [Editor] Event: SAS Published: Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1145 Extent: IX, 388 S.; graph. Darst Language: English ISBN: 3540617396 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Statische Analyse Statische Analyse Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 3699 Item ID: 10013962 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order