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]
Abstract is missing.