Verification, Model Checking, and Abstract Interpretation

This chapter contains sections titled: Organizing Committee, Motivations and Goals, Contributions, Proceedings