Modelling Invoicing using SML

J. Lichtenberg, Michael R. Hansen, H. Rischel

TypeConference paper [With referee]
ConferenceInt. Workshop on: Comparing Systems Specificationn Techniques - "What questions are prompted by ones particular method of speci
EditorsM. Allemand and C. Attiogbe and H. Habrias
Year1998    pp. 297 - 311
PublisherERIN, Nantes
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering