Modelling Invoicing using SML

Jakob Lichtenberg, Michael Reichhardt Hansen, Hans Rischel, M. and and Allemand (Editor), C. Attiogbe (Editor), H. Habrias (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    This paper presents a solution to the Invoicing case study using the Standard ML programming language for modelling.
    Original languageEnglish
    Title of host publicationProceedings of the International workshop on Comparing System specification Techniques
    Place of PublicationNantes
    PublisherERIN, Nantes
    Publication date1998
    Pages297-311
    Publication statusPublished - 1998
    EventInternational Workshop on Comparing System Specification Techniques "What questions are prompted by ones particular method of specification?" - Nantes
    Duration: 1 Jan 1998 → …

    Conference

    ConferenceInternational Workshop on Comparing System Specification Techniques "What questions are prompted by ones particular method of specification?"
    CityNantes
    Period01/01/1998 → …

    Cite this