Régine Laleau, Amel Mammar. An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. In Fifteenth IEEE International Conference on Automated Software Engineering. ASE, pages 269-272, IEEE, 2000. [doi]
@inproceedings{LaleauM00:0,
title = {An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations},
author = {Régine Laleau and Amel Mammar},
year = {2000},
url = {http://computer.org/proceedings/ase/0710/07100269abs.htm},
tags = {UML},
researchr = {https://researchr.org/publication/LaleauM00%3A0},
cites = {0},
citedby = {0},
pages = {269-272},
booktitle = {Fifteenth IEEE International Conference on Automated Software Engineering},
series = {ASE},
publisher = {IEEE},
}