Translating Event-B Machines to Database Applications.

Qi Wang, Tim Wahls

Browse the full SEFM paper archive.