Régine Laleau
On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications
ICEIS, 2000.
@inproceedings{ICEIS-2000-Laleau,
author = "Régine Laleau",
booktitle = "{Proceedings of the Second International Conference on Enterprise Information Systems}",
pages = "56--63",
title = "{On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications}",
year = 2000,
}