Towards Design Calculi for Requirements Engineering and Software Design

Dines Bjørner

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

    Original languageEnglish
    Title of host publicationFrom Object-orientation to Formal Methods: Dedicated to the Memory of Ole-Johan Dahl : Lecture Notes in Computer Science, Vol. 2635
    Number of pages21
    PublisherSpringer
    Publication date2003
    Publication statusPublished - 2003

    Cite this