A Formal Software Engineering Paradigm: From Domains via Requirements to Software. Formal Specification and Design Calculi

Dines Bjørner

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

    Original languageEnglish
    Title of host publicationSOFSEM'97: Theory and Practice of Informatics
    Place of PublicationHeidelberg
    PublisherSpringer Verlag
    Publication date1997
    Pages219-248
    Publication statusPublished - 1997
    EventSOFSEM'97: Software Seminar - Milovy, Czech Republic
    Duration: 1 Jan 1997 → …

    Conference

    ConferenceSOFSEM'97: Software Seminar
    CityMilovy, Czech Republic
    Period01/01/1997 → …

    Cite this