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

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

    50 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
    Publication statusPublished - 1995

    Publication series

    NameDagstuhl Seminar-Report

    Cite this