Towards Static Modular Software Verification

Marcus Mews, Steffen Helke. Towards Static Modular Software Verification. In Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff, editors, Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. Volume 199 of LNI, pages 147-154, GI, 2012. [doi]

Abstract

Abstract is missing.