From business modeling to verified applications

Christian Ammann, Stephan Kleuker, Elke Pulvermüller. From business modeling to verified applications. In Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider, editors, Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings). Volume 192 of LNI, pages 312, GI, 2011. [doi]

Abstract

Abstract is missing.