Formally specifying an automated trade execution system

• Authors:

• Martin Reck

• Affiliations:

• -

• Venue:
• Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
• Year:
• 1993