Static Analysis
Subtitle: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2003
Language: eng
Format: Paperback
Number of pages: 505
ISBN-13: 9783540403258
Subjects: Programming languages; Computers; Computers - Languages / Programming; Computer Books: General; Logic Design; Programming - Software Development; Programming Languages - General; Computers / Programming Languages / General; formal methods; formal verification; model checking; program analysis; program manipulation; program transformation; programming language implementation; General; Computer programming; Congresses; Programming languages (Electro; Programming languages (Electronic computers)