Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

By Markus Muller-Olm

Static analysis.- Including abstract interpretation.- Abstract testing.- Bug detection.- Data flow analysis.- Model checking.- Program transformation.- Program verification.- Security analysis.- Type checking.

• Format: Paperback
• Language: English
• ISBN: 3319109359
• ISBN13: 9783319109350
• Release Date: August 2014
• Publisher: Springer
• Length: 337 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"