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

Nstor Catao, Tim Wahls

Browse the full QRS paper archive.