Modelling Invoicing using SML |
J. Lichtenberg, Michael R. Hansen, H. Rischel
|
Type | Conference paper [With referee] |
Conference | Int. Workshop on: Comparing Systems Specificationn Techniques - "What questions are prompted by ones particular method of speci |
Editors | M. Allemand and C. Attiogbe and H. Habrias |
Year | 1998 pp. 297 - 311 |
Publisher | ERIN, Nantes |
BibTeX data | [bibtex] |
IMM Group(s) | Computer Science & Engineering |