October 1, 2019
A Multi-Target Code Generator for High-Level B
Authors
Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
Venue
iFM 2019
Bibtex
@InProceedings(b2program,
Author = {Fabian Vu and Dominik Hansen and Philipp K{\"o}rner and Michael Leuschel},
Title = {{A Multi-Target Code Generator for High-Level B}},
Booktitle = {Proceedings iFM (International Conference on integrated Formal Methods)},
Year = 2019,
Series = {Lecture Notes in Computer Science},
Volume = 11918,
Pages = {456--473},
Publisher = {Springer}
)
