A Multi-target Code Generator for High-Level B.

Fabian Vu, Dominik Hansen, Philipp Krner, Michael Leuschel

Browse the full IFM paper archive.