Code generation for Event-B

Víctor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda. Code generation for Event-B. STTT, 19(1):31-52, 2017. [doi]

Abstract

Abstract is missing.