From 9309dbfc65ea6e35592f7fc292abb2ef696aaba7 Mon Sep 17 00:00:00 2001 From: Fabian Vu <Fabian.Vu@hhu.de> Date: Wed, 10 Feb 2021 15:47:38 +0100 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 6d29b8dab..f4314f97c 100644 --- a/README.md +++ b/README.md @@ -11,11 +11,12 @@ Paper: https://www.researchgate.net/publication/337441241_A_Multi-target_Code_Ge Citation: ``` -@inbook{inbook, +@InProceedings{b2program, author = {Vu, Fabian and Hansen, Dominik and K{\"{o}}rner, Philipp and Leuschel, Michael}, year = {2019}, month = {11}, pages = {456-473}, +Booktitle = {Proceedings {iFM} 2019}, title = {A Multi-target Code Generator for High-Level B}, isbn = {978-3-030-34967-7}, doi = {10.1007/978-3-030-34968-4_25} -- GitLab