"A Case Study on Code Generation of an ERP System from Event-B."

Néstor Cataño, Tim Wahls (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics