Embedding High-Level Formal Specifications into Applications.

Philipp Krner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel

Browse the full FM paper archive.