Some remarks about formal and informal specification methods in the context of software development

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    48 Downloads (Pure)
    Original languageEnglish
    Title of host publicationInterdisciplinary foundations of systems design and evaluation
    EditorsL. Bannon, R. Keil-Slawik, I. Wagner
    Place of PublicationSaarbruecken
    PublisherGeschaeftsstelle Schloss Dagstuhl
    Pages42-45
    Publication statusPublished - 1995

    Publication series

    NameDagstuhl Seminar-Report
    Volume97-9438

    Cite this