Papers and abstracts."(...) the 19th International Static Analysis Symposium was held together with three workshops. The 4th Workshop on Numerical and...
"(...) the 19th International Static Analysis Symposium was held together with three workshops. The 4th Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012) and the Third Workshop on Static Analysis and Systems Biology (SASB 2012) (...) The Third Workshop on Tools for Automatic Program AnalysiS (TAPAS 2012) (...)" -- pref.
書誌注記
Includes bibliographical references and author index.