Mohammad Reza Nami, Abbas Malekpour. Formal specification of a particular banking domain with RAISE specification language. In Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco. pages 695-699, IEEE, 2008. [doi]
@inproceedings{NamiM08:0,
title = {Formal specification of a particular banking domain with RAISE specification language},
author = {Mohammad Reza Nami and Abbas Malekpour},
year = {2008},
doi = {10.1109/ISCC.2008.4625588},
url = {http://dx.doi.org/10.1109/ISCC.2008.4625588},
tags = {domain-specific language},
researchr = {https://researchr.org/publication/NamiM08%3A0},
cites = {0},
citedby = {0},
pages = {695-699},
booktitle = {Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco},
publisher = {IEEE},
}