Code generation for Event-B

Víctor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda
2015 International Journal on Software Tools for Technology Transfer (STTT)  
doi:10.1007/s10009-015-0381-2 fatcat:6zktb6u6trhobl4nzqg4rnxca4