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.
@inproceedings{VoisinetTJ05,
title = {Generation of OCL Constraints from B Abstract Machines},
author = {Jean-Christophe Voisinet and Bruno Tatibouët and Isabelle Jacques},
year = {2005},
tags = {OCL, constraints, abstract machine},
researchr = {https://researchr.org/publication/VoisinetTJ05},
cites = {0},
citedby = {0},
pages = {260-266},
booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice, SERP 2005, Las Vegas, Nevada, USA, June 27-29, 2005, Volume 1},
editor = {Hamid R. Arabnia and Hassan Reza},
publisher = {CSREA Press},
isbn = {1-932415-49-1},
}