"Soundness Proof of EventB2Java."

Néstor Cataño, Shigeo Nishi (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics