Formal specification of a particular banking domain with RAISE specification language.

Mohammad Reza Nami, Abbas Malekpour

Browse the full ISCC paper archive.