Preface to a special section on verification, model checking, and abstract interpretation.

Neil D. Jones Markus Müller-Olm Preface to a special section on verification, model checking, and abstract interpretation. 491-493 2011 13 STTT 6 http://dx.doi.org/10.1007/s10009-011-0214-x db/journals/sttt/sttt13.html#JonesM11