Abstract
This paper presents a solution to the Invoicing case study using
the Standard ML programming language for modelling.
Original language | English |
---|---|
Title of host publication | Proceedings of the International workshop on Comparing System specification Techniques |
Place of Publication | Nantes |
Publisher | ERIN, Nantes |
Publication date | 1998 |
Pages | 297-311 |
Publication status | Published - 1998 |
Event | International Workshop on Comparing System Specification
Techniques "What questions are prompted by ones particular
method of specification?" - Nantes Duration: 1 Jan 1998 → … |
Conference
Conference | International Workshop on Comparing System Specification Techniques "What questions are prompted by ones particular method of specification?" |
---|---|
City | Nantes |
Period | 01/01/1998 → … |