Code Generation for Event-B.

Andreas Frst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki

Browse the full IFM paper archive.