Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu. Translating B machines to JML specifications. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1271-1277, ACM, 2012. [doi]
No reviews for this publication, yet.