Preface - Invariant Generation. - Grov, Gudmund; Wies, Thomas (Sci. Comput. Program., 2014)