Sign in

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

Fabian VuDominik HansenPhilipp KörnerMichael Leuschel
Published in: IFM (2019)
Keyphrases