Farid Mokhati, Mourad Badri, Patrice Gagnon
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach
SEKE, 2006.
@inproceedings{SEKE-2006-MokhatiBG,
author = "Farid Mokhati and Mourad Badri and Patrice Gagnon",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-18-7",
pages = "572--577",
title = "{Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach}",
year = 2006,
}