Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques. Generation of OCL Constraints from B Abstract Machines. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP 2005, Las Vegas, Nevada, USA, June 27-29, 2005, Volume 1. pages 260-266, CSREA Press, 2005.
Abstract is missing.