Translating event-B to JML-specified Java programs

Víctor Rivera, Néstor Cataño. Translating event-B to JML-specified Java programs. In Yookun Cho, Sung Y. Shin, Sang-Wook Kim, Chih-Cheng Hung, Jiman Hong, editors, Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014. pages 1264-1271, ACM, 2014. [doi]

Abstract

Abstract is missing.